Behavioural Equivalences induced by Programming Logics (1983)

by S Brookes, W Rounds
Venue:In Proceedings of ICALP `83, Springer Lecture Notes in Computer Science