Program verification - Francez, Nissim (Addison-Wesley, 1992)
Literaturverz. S. 295 - 303
Keywords: Computer software -- Verification; Programmverifikation