Added BaseSpecification documentation