Otto. Cd-systems of Restarting Automata Governed by Explicit Enable and Disable Conditions. Springer Berlin Heidelberg, 2010, doi:10.1007/978-3-642-11266-9_52.