Programming and mathematical method - Broy, Manfred, 1949- (Springer-Verlag, 1992)