Handling Concrete Specifications