SpecConstr.lhs 48.5 KB