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