Mathematical methods in program devlopment - Broy Manfred Ed.; Schieder Birgit Ed. (1997)