Proving Program Renements and Transformations (1989)

by M Ward