Theory and practice of sequential algorithms: the kernel of the applicative language CDS0 (1985)

by G Berry, P-L Curien
Venue:Algebraic Methods in Semantics, chapter 2