Programming and mathematical method - Broy, Manfred, 1949- (NATO advanced science institutes series. Computer and systems sciences ;, 1992)