Current trends in programming methodology - Chandy, K. Mani; Yeh, Raymond T. (Prentice-Hall, 1978)