Functional Programming — Application and Implementation, chapter Non-deterministic Primitives and Backtrack Problems (1980)

by P Henderson