Towards Abstraction for DynAlloy Specifications. - Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio; Brian J. Cardiff; Juan P. Galeotti; Germán Regis (ICFEM, 2008)