Giannakis, Konstantinos, and Theodore Andronikos. “Use of Büchi Automata and Randomness for the Description of Biological Processes”. International Journal of Scientific World, vol. 3, no. 1, Mar. 2015, pp. 113-2, https://doi.org/10.14419/ijsw.v3i1.4356.