@inproceedings{DBLP:conf/seke/Ait-AmeurBGPP95,
  author    = {Yamine A\"{\i}t Ameur and
               Frederic Besnard and
               Patrick Girard and
               Guy Pierra and
               Jean-Claude Potier},
  title     = {Formal Specification and Metaprogramming in the EXPRESS
               Language},
  booktitle = {SEKE},
  year      = {1995},
  pages     = {181-188},
  crossref  = {DBLP:conf/seke/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/seke/1995,
  title     = {SEKE'95, The 7th International Conference on Software Engineering
               and Knowledge Engineering, June 22-24, 1995, Rockville,
               Maryland, USA, Proceedings},
  booktitle = {SEKE},
  publisher = {Knowledge Systems Institute},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}