Ashok Sreenivas R. Venkatesh Mathai Joseph Meta-Modelling for Formal Software Development. 2001 42 Electr. Notes Theor. Comput. Sci. db/journals/tcs/entcs42.html#SreenivasVJ01 http://www.elsevier.nl/locate/entcs/volume42.html