Schwartzbach, Michael I. “A Note on Opaque Types”. DAIMI Report Series 19, no. 313 (April 1, 1990). Accessed May 7, 2024. https://tidsskrift.dk/daimipb/article/view/6703.