Methoden der rationellen Programmentwicklung - Risak Veith (Computer Monographien, 1976)