1. Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann Publishers, San Francisco (2002)
2. Arkhipova, M.V.: Semantic analyzer tests generation. Numerical Methods and Programming, vol. 7, pp. 55–70 (in Russian) (2006),
http://num-meth.srcc.msu.su/english/zhurnal/tom_2006/v7r206.html
3. Beizer, B.: Software Testing Techniques. van Nostrand Reinhold (1990)
4. Lecture Notes in Computer Science;I.B. Bourdonov,2002
5. Duncan, A.G., Hutchison, J.S.: Using Attributed Grammars to Test Designs and Implementation. In: Proceedings of the 5th international conference on Software engineering, Piscataway, NJ, USA, pp. 170–178. IEEE Press, New York (1981)