How to develop module logic using pseudo-code and stepwise refinement. - Anthony A. Lekkos; Carl M. Peters (DAC, 1978)