@INPROCEEDINGS{ClavelEtAl03a,
  author =       {Manuel Clavel and Narciso Mart{\'\i}-Oliet and 
                  Miguel Palomino},
  title =        {Formalizing and Proving Semantic Relations between
                  Specifications by Reflection},
  booktitle =    {Algebraic Methodology and Software Technology.  
                  10th International Conference, AMAST 2004,
                  Stirling, Scotland, UK, July 12-16, 2004, Proceedings},
  editor =       {Charles Rattray and Savitri Maharaj and Carron Shankland},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes in Computer Science},
  year =         2004,
  volume =       3116,
  pages =        {72-86}
}