1. Axiomatisation des tests et systèmes complets de preuve;Benoit,1984
2. Lattice Theory;Birkhoff,1967
3. Varieties of IF-THEN-ELSE;Bloom;SIAM J. Comput.,1983
4. The algebraic semantics of recursive program schemes;Courcelle,1978
5. On some classes of interpretations;Courcelle;J. Comput. System Sci.,1978