1. Bartussek, W. and Parnas, D.L., Using Assertions about Traces to Write Abstract Specifications for Software Modules, Lecture Notes in Computer Science (Proc. of the 2nd Conf. on European Cooperation in Informatics), Springer, 1978, no. 65, pp. 211–236.
2. Shalyto, A.A., SWITCH-tekhnologiya. Algoritmizatsiya i programmirovanie zadach logicheskogo upravleniya (SWITCH-Technology: Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998.
3. Shalyto, A.A., Software Automaton Design: Algorithmization and Programming of Problems of Logical Control, Izv. Ross. Akad. Nauk, Teor. Sist. Upr., 2000, no. 6, pp. 63–81. [J. Comput. Systems Sci. Int. (Engl. Transl.), 2000, vol. 39, no. 6, pp. 899–916].
4. Shalyto, A.A. and Tukkel, N.I., SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems, Programmirovanie, 2001, no. 5, pp. 45–62. [Programming Comput. Software (Engl. Transl.), 2001, vol. 27, no. 5, pp. 260–276].
5. Parnas, D.L. and Vilkomir, S.A., Precise Documentation of Critical Software, The 10th IEEE High Assurance Systems Engineering Symposium, IEEE, 2007, pp. 237–244.