Theoretical basis for Jackson System Development. - W. L. Yeung; P. Smith; G. Topping; E. Bailey (Inf. Softw. Technol., 1992)