1. Harold Ableson Gerald Jay Sussman and Julie Sussman. Structure and Interpretation of Computer Programs. The MIT Press 2 edition 1996. Description of nondeterministic computing in section 4.3. Harold Ableson Gerald Jay Sussman and Julie Sussman. Structure and Interpretation of Computer Programs . The MIT Press 2 edition 1996. Description of nondeterministic computing in section 4.3.
2. Solving triangular peg solitaire;Bell George I.;Journal of Integer Sequences,2008
3. Scheduling multithreaded computations by work stealing
4. Space-Efficient Scheduling of Multithreaded Computations
5. Space efficient conservative garbage collection