Grundlagen systematischer Programmentwicklung - Gerken, Wolfgang