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