Mathematical methods in program development - Broy, M., 1949-.; Schieder, Birgit. (Springer, 1997)