@InProceedings{BGP13, author = {O. Bodini and A. Genitrini and F. Peschanski}, title = {{The Combinatorics of Non-determinism}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)}, pages = {425--436}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, year = {2013}, volume = {24}, address = {{Guwahati, India}} }