Current trends in programming methodology : SOFTWARE MODELING. VOL.3 - Chandy, Mani K.; Yeh, Raymond T. (Prentice-Hall, Inc, 1978)