@InProceedings{DMstructtheories_1999,
  author = 	 {F. Dur{\'a}n and J. Meseguer},
  title = 	 {Structured Theories and Institutions},
  booktitle = 	 {8th Conference on Category Theory and Computer 
                  Science (CTCS'99)},
  year = 	 {1999},
  volume = 	 {29},
  series = 	 {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier},
}