M. I. Schwartzbach, “A note on opaque types”, DPB, vol. 19, no. 313, Apr. 1990.