Husberg, N. Categorial Heterogeneous Algebraic Models of Programming Languages. DPB 1983, 12.