1. Areces, C., Blackburn, P.: Bringing them all together. Logic and Computation 11(5) (2001);
2. Editorial of special issue on Hybrid Logics
3. Lecture Notes in Computer Science;D. Bechet,1997
4. da, M., Corrêa, S., Haeusler, E.H., de Paiva, V.C.V.: A dialectica model of state. In: CATS 1996, Computing: The Australian Theory Symposium Proceedings (January 1996)
5. Lecture Notes in Mathematics;B.J. Day,1970