1. Realization theory for automata in categories;Adámek;J. Pure Appl. Algebra,1976
2. Automata and Algebras in Categories;Adámek,1991
3. L. Alfaro, How to specify and verify the long-run average behavior of probabilistic systems, in: LICS 98: 13th Annu. IEEE Symp. on Logic in Computer Science, IEEE Press, New York, 1998, pp. 454–465.
4. Computing minimum and maximum reachability times in probabilistic systems;Alfaro,1999
5. Adjoint machines, state-behaviour machines and duality;Arbib;J. Pure Appl. Algebra,1975