1. Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Les Publications CRM, Montreal (1999)
2. Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)
3. OMG Model Driven Architecture,
http://www.omg.org/mda
4. Alksnis, G.: Formal Methods and Model Transformation Framework for MDA. In: Kolář, D., Meduna, A. (eds.) Proceedings of the 1st International Workshop on Formal Models (WFM 2006), pp. 87–94. MARQ, Ostrava (2006)
5. Alksnis, G.: Application of Category Theory to Integrate Formal Specification Languages in Model Driven Architecture. Summary of Doctoral Thesis. RTU Publishing, Riga (2008)