M.: Open maps, behavioural equivalences, and congruences (1998)

by A Cheng, Nielsen
Venue:Theoretical Computer Science