SpecConstr.lhs 49.1 KB