Backhouse (1986)

Backhouse R. (1986)

Program Construction and Verification

Prentice-Hall