Software modeling / K. Mani Chandy ... - Chandy, Kanianthra Mani (Hrsg.); Yeh, Raymond T. (Hrsg.) (Current trends in programming methodology, 1978)