Bisimilarity as a Theory of Functional (1995)

by A D Gordon
Venue:Programming, MFPS'95 Conference Proceedings, Electronic Notes in Computer Science 1, Elsevier