Grundlagen systematischer Programmentwicklung - Gerken, Wolfgang (BI-Hochschultaschenbücher, 1985)