Top-Down Design in the Context of Parallel Programs - N. D. Jotwani; J. Robert Jump (Inf. Control., 1979)