SpecConstr.lhs 32.9 KB