Veličkov, T. and Boânov, K. 1976. Method for simulation of digital automata. Acta Cybernetica. 3, 1 (Jan. 1976), 57–68.