Functional non-deterministic programming-or- How to make your own oracle (1989)

by Lennart Augustsson