Grundlagen systematischer Programmentwicklung - Gerken, Wolfgang (BI-Wiss.-Verl., 1986)