Transition system specifications in stalk format with bisimulation as a congruence (1994)

by V v Oostrom, E de Vink
Venue:in Proceedings 11th Symposium on Theoretical Aspects of Computer Science