N. Husberg, “Categorial Heterogeneous Algebraic Models of Programming Languages”, DPB, vol. 12, no. 163, Aug. 1983.