Husberg, N. “Categorial Heterogeneous Algebraic Models of Programming Languages”. DAIMI Report Series, vol. 12, no. 163, Aug. 1983, doi:10.7146/dpb.v12i163.7437.