Bisimilarity as a theory of functional programming (1995)

by A Gordon
Venue:In Proc. MFPS 95, number 1 in Electronic Notes in Comp. Sci