The following publications present DynAlloy's syntax and analysis techniques:

1. Frias M.F., Galeotti J.P., Lopez Pombo C.G. and Aguirre N., DynAlloy: Upgrading Alloy with Actions, in Proceedings of the 27th. ACM-IEEE International Conference on Software Engineering (ICSE) 2005, St. Louis, USA, May 2005, ACM Press, 442-450, 2005.

2. Marcelo F. Frias, Carlos G. Lopez Pombo, Juan P. Galeotti, Nazareno M. Aguirre, Efficient Analysis of DynAlloy Specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 17, issue 1, December 2007.