Behavioural equivalence relations induced by programming logic (1983)

by S D BROOKES, W C ROUNDS
Venue:In Proceedings oJICALP 1983, Lecture Notes in Computer Science