Method for simulation of digital automata - Veličkov, T.; Boânov, Kiril (Acta Cybernetica, 1976)