Karl Meinke Algebraic Semantics of Rewriting Terms and Types. 1-20 1992 conf/ctrs/1992 CTRS db/conf/ctrs/ctrs92.html#Meinke92