Backhouse (1986)
Backhouse R. (1986)
Program Construction and Verification
Prentice-Hall