@InProceedings{Mmemb_1998,
  author = 	 {J. Meseguer},
  title = 	 {Membership Algebra as a Logical Framework for Equational Specification},
  booktitle = 	 {In 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT'97)},
  pages = 	 {18-61},
  year = 	 {1998},
  volume = 	 {1376},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}