1. Abrial, J.: B#: toward a synthesis between Z and B. In: Bert, D., et al. (eds.) ZB’03—Formal Specification and Development in Z and B. International Conference of B and Z Users, Turku, Finland. LNCS, vol. 2651, pp. 168–177. Springer (2003)
2. Abrial, J., Cansell, D., Méry, D.: Refinement and reachability in Event B. In: Treharne, H., King, S., Henson, M., Schneider, S. (eds.) Formal Specification and Development in Z and B. 4th International Conference of B and Z Users. LNCS, vol. 3455, pp. 222–241. Springer (2005)
3. Ackermann, J., Turowski, K.: A library of OCL specification patterns for behavioral specification of software components. In: CAiSE’06, LNCS, vol. 4001, pp. 255–269. Springer (2006)
4. Baar, T.: OCL and graph-transformations—a symbiotic alliance to alleviate the frame problem. In: Proc. of MoDELS’05 Satellite Workshop on Tool Support for OCL and Related Formalisms, Montego Bay, Jamaica, October 4, pp. 83–99 (2005)
5. Baar, T., et. al.: Tool support for OCL and related formalisms needs and trends. In: Bruel, J.M. (ed.) Satellite Events at the MoDELS’05 Conference. LNCS, vol. 3844 (2006)