Mathematical methods in program development - Broy, M. 1949-; Schieder, Birgit (NATO ASI series. Computer and systems sciences ;, 1997)