1. M. Anlauff, A. Bemporad, S. Chakraborty, P.W. Kutter, D. Mignone, M. Morari, A. Pierantonio, and L. Thiele. From ease in programming to easy maintenance: Extending DSL usability with Montages. Technical Report84, Institute TIK, ETH Zürich, December 19999.
2. M. Anlauff, P. Kutter, and A. Pierantonio. Formal Aspects of and Development Environments for Montages. In M. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Workshops in Computing, Amsterdam, 1997. Springer.
3. Lect Notes Comput Sci;M. Anlauff,1999
4. Lect Notes Comput Sci;M. Anlauff,2000
5. M. Anlauff and A. Sünbül. An ASM specification of an elevator control system.1999.