Algebraic methods in logic and in computer science (Polish Acad. of Sciences, Inst. of Mathematics, 1993)