Logik der interaktiven Programmentwicklung. - Peter-Uwe Kleffe (1985)