E. M. Schmidt and M. I. Schwartzbach, “An Imperative Type Hierarchy with Partial Products”, DPB, vol. 17, no. 271, Dec. 1988.