Open maps, behavioural equivalences, and congruences (1998)

by A Cheng, M Nielsen
Venue:Theretical Computer Science