Schwartzbach, M. I. Infinite Values in Hierarchical Imperative Types. DPB 1989, 18.