Program Construction and Verification (1986)

by R C Backhouse