Formal methods of program verification and specification
Berg, H. K.(Helmut K)
Englewood Cliffs London Prentice-Hall
c1982
Includes index
Computer programs