Bisimilarity as a theory of functional programming (1999)

by A Gordon