Current trends in programming methodology - Chandy, K. Mani; Yeh, Raymond Tzuu-Yau, 1937- (Prentice-Hall, 1977)