M. I. Schwartzbach, “Infinite Values in Hierarchical Imperative Types”, DPB, vol. 18, no. 293, Sep. 1989.