Engineering theories of software construction [proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July - 6 August, 2000, Marktoberdorf, Germany] - Hoare, Charles A. R. 1934- (IOS Press, 2001)