1. Abrial J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Albert M., Pelechano V., Fons J. et al.: Implementing UML association, aggregation, and composition. A particular interpretation based on a multidimensional framework. Adv. Inform. Syst. Eng. CAiSE’ 03(2681), 143–158 (2003)
3. AndroMDA: AndroMDA. http://www.andromda.org/
4. Borland: Together. http://www.borland.com/us/products/together/index.html
5. Cabot J.: From declarative to imperative UML/OCL operation specifications. Conceptual Model. ER’07 4801, 198–213 (2007)