Schmidt, E.M. and Schwartzbach, M.I. 1988. An Imperative Type Hierarchy with Partial Products. DAIMI Report Series. 17, 271 (Dec. 1988). DOI:https://doi.org/10.7146/dpb.v17i271.7625.