K. Apt: Programmverifikation. Springer 1994, 260p. 3-540-57479-4. DM 48.

13033 Robert Kurshan: Program verification. Notices AMS May 2000, 534-545.

13023 Richard Platek: Making computers safe for the world - an introduction
to proofs of programs, part I. In 4917 Odifreddi, 60-89.