1. C. Alan, Meaning and language: an introduction to semantics and pragmatics. (Oxford Textbooks in Linguistics, Cambridge, 2004)
2. L. Altenberg, in Advances in Genetic Programming, ed. by K. E. Kinnear, Jr., The evolution of evolvability in genetic programming, chap. 3 (MIT Press, Cambridge, 1994), pp. 47–74
3. C. Baier, J.P. Katoen, Principles of Model Checking (MIT Press, Cambridge, 2008).
4. L. Beadle, C. Johnson, Semantically driven crossover in genetic programming, in Proceedings of the IEEE World Congress on Computational Intelligence (IEEE Press, New York, 2008), pp. 111–116
5. L. Beadle, C.G. Johnson, Semantic analysis of program initialisation in genetic programming. Genet. Program. Evol. Mach. 10(3), 307–337 (2009)