Vinarskii Evgenii M., Laputenko Andrey V. «Deriving tests for digital circuits at lower and higher abstraction levels» // Tomsk State University Journal of Control and Computer Science 2019. №47 C.110-117
Karandashov M. V. «About transitive property of mappings associated with a finite state machines from the groups asP» // Applied Discrete Mathematics. Supplement 2016. №9 C.115-118
Trenkaev V.N., Zhukovskaja A. O. «Identification method for invert-ible finite state machine with known output function» // Applied Discrete Mathematics. Supplement 2017. №10 C.140-142
