Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures - Hoare, Charles A. R. 1934- (Inst. f. Informatik TUM, 2004)