@article(backus78,
 author       = {J. Backus},
 year         = {1978},
 title        = {Can programming be liberated from the von Neumann style?},
 journal      = {Communications of the ACM},
 volume       = {21},
 number       = {21},
 doi          = {10.1007/978-3-662-09507-2_10},
)
@article(birget09,
 author       = {J.-C. Birget},
 year         = {2009},
 title        = {Monoid generalization of the {R}ichard {T}hompson groups},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {13},
 pages        = {264--278},
 doi          = {10.1016/j.jpaa.2008.06.012},
)
@article(freyd93,
 author       = {P. Freyd and A. Heller},
 year         = {1993},
 title        = {Splitting homotopy idempotents {II}},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {89},
 pages        = {93--195},
 doi          = {10.1016/0022-4049(93)90088-b},
)
@article(ginsburg67,
 author       = {S. Ginsburg and S. Greibach and M. Harrison},
 year         = {1967},
 title        = {One-way stack automata},
 journal      = {Journal of the ACM},
 volume       = {14},
 pages        = {389--418},
 doi          = {10.1145/321386.321403},
)
@article(gray16,
 author       = {A. Gray and K. Pardue},
 year         = {2016},
 title        = {Products in a category with one object},
 note         = {\href{http://arxiv.org/abs/1604.03999}{arXiv:1604.03999}},
)
@article(jonsson61,
 author       = {B. Jonsson and A. Tarski},
 year         = {1961},
 title        = {On two properties of free algebras},
 journal      = {Mathematica Scandinavica},
 volume       = {9},
 pages        = {95--101},
 doi          = {10.7146/math.scand.a-10627},
)
@inbook(lambek80,
 author       = {J. Lambek},
 year         = {1980},
 title        = {H. B. Curry, Essays in Combinatory Logic},
 publisher    = {Academic Press},
)
@article(rabin69,
 author       = {M. Rabin},
 year         = {1969},
 title        = {Decidability of second order theories and automata on finite trees},
 journal      = {Transactions of the American Mathematical Society},
 volume       = {141},
 pages        = {1--35},
 doi          = {10.2307/2272788},
)
@article(smirnov71,
 author       = {D. Smirnov},
 year         = {1971},
 title        = {Cantor algebras with one generator},
 journal      = {Algebra and Logic},
 volume       = {10},
 pages        = {40--49},
 doi          = {10.1007/bf02217801},
)
@article(statman92,
 author       = {R. Statman},
 year         = {1992},
 title        = {Simply typed lambda calculus with surjective pairing},
 journal      = {CMU Department of Mathematics Research Report},
 pages        = {92--164},
)
@article(statman96,
 author       = {R. Statman},
 year         = {1996},
 title        = {On {C}artesian monoids},
 journal      = {Springer Lecture Notes in Computer Science},
 volume       = {1258},
 pages        = {446--459},
 doi          = {10.1007/3-540-63172-0_55},
)
@inbook(thompson80,
 author       = {R. Thompson},
 year         = {1980},
 title        = {Word Problems},
 chapter      = {Embeddings into finitely generated simple groups which preserve the word problem},
 pages        = {401--444},
 publisher    = {North Holland},
 doi          = {10.1016/S0049-237X(08)71348-X},
)
@article(latorre07,
 author       = {S. La Torre and P. Manhusadan and G. Parlato},
 year         = {2007},
 title        = {A robust class of context sensitive languages},
 journal      = {{Proceedings of 22nd IEEE Symposium on Logic in Computer Science}},
 doi          = {10.1109/lics.2007.9},
)