Bisimilarity as a theory of functional programming (1995)

by A D Gordon
Venue:University of Cambridge Computer Laboratory