1. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Formalization of Test Experiments, Programmirovanie, 2007, no. 5, pp. 3–32 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 5, pp. 239–260].
2. 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 .
3. 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.
4. van Glabbeek, R.J., The Linear Time-Branching Time Spectrum II: The Semantics of Sequential Processes with Silent Moves, Proc. of CONCUR’93, Hildesheim, Germany, 1993, Best, E., Ed., Lect. Notes Comput. Sci., 1993, vol. 715, pp. 66–81.
5. Milner, R., Modal Characterization of Observable Machine Behavior, Proc. CAAP, 1981, Astesiano, G. and Bohm, C. Eds., Lect. Notes Comput. Sci., 1981, vol. 112, pp. 25–34.