1. van Glabbeek, R.J., The Linear Time—Branching Time Spectrum, Proc. of CONCUR’93, Baeten, J.C.M. and Klop, J.W., Eds., Lect. Notes Comput. Sci., 1990, vol. 458, pp. 278–297.
2. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Formalization of Test Experiments, Programmirovanie, 2007, no. 5 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 5, pp. 239–260].
3. Bourdonov, I.B., Conformance Theory for the Functional Testing of Software Systems Based on Formal Models, Doctoral (Math.) Dissertation, Moscow: Institute for System Programming, Russian Academy of Sciences, 2008; http://www.ispras.ru/~RedVerst/Red-Verst/Publications/TR-01-2007.pdf .
4. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Teoriya sootvetstviya dlya system s blokirovkami i razrusheniem (Conformance Theory for Systems with Refusals and Destruction, Moscow: Nauka, 2008.
5. van Glabbeek, R.J., The Linear Time—Branching Time Spectrum, Proc. of CONCUR’90, Baeten, J.C.M. and Klop, J.W., Eds., Lect. Notes Comput. Sci., 1990, vol. 458, pp. 278–297.