Chandy, K Mani Current trends in programming methodology Vol. III Software modeling - New Jersey Prentice-Hall 1978 - xii+379p Universal Decimal Class. No.: 681.3.06 / CHA.78