Revised version of R88007C and T91:11. See also T91:12B. No longer distributed. Replaced by a new version T93:01