Schmidt, E. M., and M. I. Schwartzbach. “An Imperative Type Hierarchy With Partial Products”. DAIMI Report Series, vol. 17, no. 271, Dec. 1988, doi:10.7146/dpb.v17i271.7625.