Proceedings of the First Workshop on the Analysis of Model Transformations
ACM Digital Library