Free algebras and automata realizations in the language of categories (1974)

by J Admek
Venue:Comment. Math. Univ. Carolinae