Schmidt, E. M.; Schwartzbach, M. I. An Imperative Type Hierarchy With Partial Products. DPB 1988, 17.