T. Veličkov and K. Boânov, “Method for simulation of digital automata”, Acta Cybern, vol. 3, no. 1, pp. 57-68, Jan. 1976.