Constructing a calculus of programs (1989)

by L Meertens
Venue:Mathematics of Program Construction, Lect. Notes in Comp. Sc