Reusable Components of Semantic Specifications

   Abstract