1. Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, New York, 1996. ISBN 0-521- 49619-5
2. Agrawal, A.: Graph rewriting and transformation (GReAT): a solution for the model integrated computing (MIC) Bottleneck. In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, pp. 364–368. IEEE Computer Society, New York (2003). http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350364abs.htm .
3. Aho A.V., Sethi R., Ullman J.D.: Compilers: Principles, Techniques, and Tools. Addison Wesley, Reading (1986)
4. Akehurst D., Howells G., Mcdonald-Maier K.: Implementing associations: UML 2.0 to Java 5. Softw. Syst. Model. 6(1), 3–35 (2007). doi: 10.1007/s10270-006-0020-1
5. Akehurst, D.H., Bordbar, B., Evans, M.J., Howells, W.G.J., McDonald-Maier, K.D.: SiTra: Simple transformations in Java. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006. Lecture Notes in Computer Science, vol. 4199, pp. 351–364, Genova, Italy, 2006. Springer, Heidelberg