Gerard Tel Jan van Leeuwen A non-deterministic algorithm and its analysis. 100-102 1987 33 Bulletin of the EATCS db/journals/eatcs/eatcs33.html#TelL87