1. Berman, J., Blok, W., [1989], ‘Generalizations of Tarski’s fixed-point theorem for order varieties of complete meet semilattices’, Order, 5(4): 381–392.
2. Cai, J., Paige, R., [1992], ‘Languages polynomial in the input plus output’, in Second International Conference on Algebraic Methodology and Software Technology (AMAST 91), Springer Verlag, London, pp. 287–300.
3. Chang, C.C., Keisler, H.J., [1973], Model Theory, North-Holland and American Elsevier, Amsterdam–London–New York.
4. Czelakowski, J., [2006], ‘Fixed-points for relations and the back and forth method’, Bulletin of the Section of Logic, 35(2/3): 63–71.
5. Davey, B.A., Priestley, H., [2002] Introduction to Lattices and Order, 2nd ed., Cambridge University Press, Cambridge.