Theoretical basis for Jackson System Development. - Yeung, W. L.; Smith, P.; Topping, G. (Information & Software Technology, 1992)