SpecConstr.lhs 70 KB