On the conversion of program specifications into pseudo code using Jackson structured programming - Sorensen, Kenneth (Array, 2001)