Systematic Programming: An Introduction (Prentice-Hall Series in Automatic Computation)