@inproceedings{amast08,
   author = "M. Birna van Riemsdijk and Rolf Hennicker and Martin Wirsing",
   title = "Service Specification and Matchmaking using Description Logic: An Approach Based on Institutions",
   booktitle = "12th International Conference on Algebraic Methodology and Software Technology (AMAST'08)",
   year = "2008",
   pages = {392--406},
  publisher = {Springer},
  series = {LNCS},
  volume =  "5140"
 }