Algorithm specification. - Rustin, Randall (Prentice-Hall series in automatic computation., 1972)