SpecConstr.lhs 77.1 KB