Datenverarbeitung:Software B 131.211 

End res, Albert: Analyse und Verifikation 
von Programmen. Systematische Verfahren u. 
Untersuchungen zur Erstellung fehlerfreier 
Software. Mit 18 Bildern u. 14 Tab.-München, 
Wien: Oldenbourg 1977. 405 S. 8 
(Reihe Datenverarbeitung.)