Working material for the lectures of ... - Huet, Gérard 1947- (Techn. Univ. München, 1986)