Ashok Sreenivas, R. Venkatesh, Mathai Joseph. Meta-Modelling for Formal Software Development. Theoretical Computer Science, 42:1-11, 2001. [doi]
@article{SreenivasVJ01, title = {Meta-Modelling for Formal Software Development}, author = {Ashok Sreenivas and R. Venkatesh and Mathai Joseph}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume42.html}, tags = {meta-model, model-driven development, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/SreenivasVJ01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {42}, pages = {1-11}, }