Proving Program Refinements and Transformations (1989)

by M Ward