1. Representations of distributive lattice-ordered semigroups with binary relations;Andréka;Algebra Univ.,1991
2. H. Andréka, I. Németi, I. Sain, Algebraic logic, in: D.M. Gabbay, F. Guenthner, (Eds.), Handbook of Philosophical Logic, second ed., vol. 2, Kluwer, Dordrecht, 2001, pp. 133–247.
3. J.W. de Bakker, W.-P. de Roever, A calculus for recursive program schemes, in: M. Nivat (Ed.), Proceedings First International Coll. on Automata, Languages, and Programming, 1972, pp. 167–196.
4. Categories, allegories and circuit design;Brown,1994
5. Compiling dyadic specifications into map algebra;Cantone;Theor. Comput. Sci.,2003