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