@techreport{amast08tr,
    author = "M. Birna van Riemsdijk and Rolf Hennicker and Martin Wirsing and Andreas Schroeder",
    title = "Service Specification and Matchmaking using Description Logic: An Approach Based on Institutions [Extended Version]",
    number = "0802",
    address = "LMU Munich",
    year = "2008"
}