Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 - Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare ((NATO Science Series II: Mathematics, Physics and Chemistry))