No. 163 (1983): PB-163 Categorial Heterogeneous Algebraic Models of Programming Languages