Francisco Durán, José Meseguer. Structured Theories and Institutions. Theoretical Computer Science, 29:23-41, 1999. [doi]
@article{DuranM99, title = {Structured Theories and Institutions}, author = {Francisco Durán and José Meseguer}, year = {1999}, url = {http://www.elsevier.nl/locate/entcs/volume29.html}, researchr = {https://researchr.org/publication/DuranM99}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {29}, pages = {23-41}, }