Schwartzbach, M. I. (1990) “A note on opaque types”, DAIMI Report Series, 19(313). doi: 10.7146/dpb.v19i313.6703.