SpecConstr.lhs 61.7 KB