M. Solomon, “On Type Definitions with Parameters”, DPB, vol. 4, no. 54, Nov. 1975.