Solomon, M. (1975) “On Type Definitions with Parameters”, DAIMI Report Series, 4(54). doi: 10.7146/dpb.v4i54.6473.