Cunha A, Pacheco H.? 2009.??Mapping between Alloy specifications and database implementations. Proceedings of the 7th International Conference on Software Engineering and Formal Methods - SEFM. :285?294.