Generalized bisimulation in relational specifications (1988)

by E Astesiano, A Giovini, G Reggio
Venue:in ``STACS '88,'' Lecture Notes in Computer Science