1. Cheremisinov D.I. Formal'nye metody analiza povedeniya raspredelennykh sistem // Informatika. - 2004. - № 3. - S. 17-28.
2. Bukur I., Delyanu A. Vvedenie v teoriyu kategorii i funktorov. - M.: Mir, 1972. - 260 s.
3. Sassone V., Nielsen M., Winskel G. A classification of models for concurrency // 4th International conference on concurrency theory. - Hildesheim, Germany, 1993. - P. 82-96.
4. Börger E. High level system design and analysis using abstract state machines // Current trends in applied formal methods (FM-Trends 98). Lecture notes in computer science. - Vol. 1641. - Springer Verlag, 1999. - P. 1-43.
5. Zandere L.Ya., Martinsons K.Ya., Fritsnovich G.F. Avtomatizatsiya razrabotki protokolov setei EVM i ikh realizatsii (bibliografiya s kommentariyami) // Vychislitel'nye seti: logicheskoe proektirovanie protokolov. - Riga: Zinatne, 1988. - Vyp. 2. - S. 200-273.
6. Kotov V.E. Seti Petri. - M.: Nauka, 1984.
7. Piterson Dzh. Teoriya setei Petri i modelirovanie sistem. - M.: Mir, 1984.
8. Bandman O.L. Seti Petri i korrektnost' protokolov peredachi dannykh // Vychislitel'nye sistemy: Matematicheskoe i arkhitekturnoe obespechenie parallel'nykh vychislenii. - Novosibirsk, 1985. - Vyp. 109. - S. 29-51.
9. Bochman G.V. Hardware specification with temporal logic: An example // IEEE trans. on comp. - 1982. - Vol. 31. - № 73. - P. 222-231.
10. Emerson E.A., Halpern J.Y. «Sometimes» and «Not never» revisited: On branching versus linear temporal logic // JACM. - 1986. - Vol. 33. - № 1. - P. 151-178.
11. Zakrevskii A.D., Vasilenok V.K. Opisanie algoritmov logicheskogo upravleniya. - Mn.: In-t tekhn. kibernetiki AN BSSR, 1985. - 68 s.
12. Clarke E.M., Emerson E.A., Systla A.P. Automatic verification of finite-state concurrent systems using temporal-logic specifications // ACM Transactions on Programming Languages and Systems. - 1986. - Vol. 8. - № 2. - P. 244-263.
13. Zakrevskii A.D. Parallel'nye algoritmy logicheskogo upravleniya. - Mn.: In-t tekhn. kibernetiki NAN Belarusi, 1999. - 202 s.
14. Menasche M., Berthomieu B. Time Petri nets for analyzing and verifying time dependent communication protocols // Protocol specification, testing, and verification. Vol. 3. - North-Holland: Elsevier Science, 1983. - P. 161-172.
15. Zakrevskii A.D. The analysis of concurrent logic control algorithms // Lecture Notes in Computer Science, Fundamentals in Computation Theory. - Springer Verlag. - Vol. 278. - 1987. - P. 497-500.
16. Cheremisinov D.I. Vizualizatsiya povedeniya algoritmov upravleniya. - Mn., 1988. - 28 s. (Preprint / In-t tekhn. kibernetiki AN BSSR; № 27).
17. Cheremisinov D.I. Kross-translyator PRALU dlya kontrollerov na baze mikroprotsessora K580. - Mn., 1987. - 46 s. (Preprint / In-t tekhn. kibernetiki AN BSSR; № 13).
18. Sistema LOGIKA-M sinteza upravlyayushchikh ustroistv v bazise PLM i mikroprotsessorov /A.D. Zakrevskii, P.H. Bibilo, V.K. Vasilenok i dr. // USiM. - 1987. - № 3. - S. 31-35.