Structured system proramming - Welsh, Jim (Prentice-Hall International series in computer science, 1980)