Observability and Nerode equivalence in concrete categories (1981)

by Jiri Ad'amek
Venue:Fundamentals of Computation Theory. SpringerVerlag Lecture Notes in Computer Science 117