1. Lecture Notes in Computer Science;AW Appel,1991
2. Batory, D., Lofaso, B., Smaragdakis, Y.: JTS: tools for implementing domain-specific languages. In: Proceedings Fifth International Conference on Software Reuse, pp. 143–153. IEEE, Victoria, BC, Canada (1998).
citeseer.nj.nec.com/171171.html
3. Bertot, Y., Castran, P.: Interactive Theorem Proving and Program Development: Coq’Art The Calculus of Inductive Constructions, 1st edn. Springer Publishing Company Incorporated, Heidelberg (2010)
4. Biboudis, A., Fourtounis, G., Smaragdakis, Y.: jUCM: universal class morphing (position paper). CoRR abs/1506.05270 (2015).
http://arxiv.org/abs/1506.05270
5. Lecture Notes in Computer Science;C Calcagno,2003