Schwartzbach, M. I. “A Note on Opaque Types”. DAIMI Report Series, vol. 19, no. 313, Apr. 1990, doi:10.7146/dpb.v19i313.6703.