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