Methoden der rationellen Programmentwicklung - Risak Veith (München : Carl Hanser Verlag, 1976)