Mathematical methods in program development - Broy, Manfred (1997)