Schwartzbach, M. I. “Infinite Values in Hierarchical Imperative Types”. DAIMI Report Series, vol. 18, no. 293, Sept. 1989, doi:10.7146/dpb.v18i293.6687.