Bisimulation in algebraic specifications - Astesiano, Egidio 1939-; Wirsing, Martin 1948- (1987)