Giannakis, K.; Andronikos, T. Use of Büchi Automata and Randomness for the Description of Biological Processes. Int. J. Sci. World 2015, 3 (1), 113-123. https://doi.org/10.14419/ijsw.v3i1.4356.