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://dx.doi.org/10.1016/S1571-0661(04)80875-2 1-11