1. Bassino, F., David, J., Nicaud, C.: Average case analysis of Moore’s state minimization algorithm. Algorithmica 63(1-2), 509–531 (2012)
2. Lecture Notes in Computer Science;F. Bergeron,1992
3. Bodini, O., Genitrini, A., Peschanski, F.: Enumeration and random generation of concurrent computations. In: DMTCS AofA 2012 Proceedings, pp. 83–96 (2012)
4. Bodini, O., Genitrini, A., Peschanski, F.: The Combinatorics of Non-determinism. In: proc. FSTTCS 2013. LIPIcs, vol. 24, pp. 425–436 (2013)
5. Bodini, O., Genitrini, A., Peschanski, F.: Enumeration and random generation of concurrent computations. arXiv/1407.1873 (page under submission, 2014)