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