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