Algorithm specification - Rustin, Randall (Courant computer science sympozium ;, 1972)