Programming operations that are safe for bisimulation (1994)

by J van Benthem
Venue:Studia Logica