Algorithm Specification (Prentice-Hall series in automatic computation)