Grundlagen systematischer Programmentwicklung. - Gerken, Wolfgang (B.I.-Hochschultaschenbücher, 1985)