Veličkov T.; Boânov Kiril: Method for simulation of digital automata. In: Acta cybernetica, (3) 1. pp. 57-68. (1976)