Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971 - Rustin, Randall (Prentice-Hall, Inc., 1972)