Logic of programming and calculi of discrete design - Broy, Manfred, 1949- (NATO advanced science institutes series. Computer and systems sciences ;, 1987)