Systematic methods for designing large digital systems. - D. W. Protheroe (1988)