A bit late :) but you may find the chapter on nondeterministic computing in the online book Structure and Interpretation of Computer Programs helpful.

   MeowChow                                   
               s aamecha.s a..a\u$&owag.print