Termination of nondeterministic programs | lit.salon