Systematic programming. An introduction. - Prentice-Hall, 1973. - ( Prentice-Hall Series in Automatic Computation ).