Programming logics : an introduction to verification and semantics /
Gumb, Raymond D.
New York ; Chichester : Wiley,
c1989.
Includes indexes.
Bibliography: p.
Computer programs
Programming languages (Electronic computers)