Working material for the lectures of ... - Broy, Manfred 1949- (Techn. Univ. München, 1986)