A Heuristic Program for Solving Problems Stated as NondeterministicProcedures, Doctoral thesis (1968)

by Richard Earl Fikes