Implementing a Behavioural Decomposition. - C. J. M. Booth; John E. W. Mayhew (IAS, 1989)