Constructing a Calculus of Programs (1989)

by L Meertens
Venue:In: Mathematics of Program Construction