SpecConstr.lhs 70.2 KB