"A-posteriori typing for Model-Driven Engineering."

Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics