1. Bontemps, Y.: Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). Ph.D. thesis, Facultés Universitaires Notre-Dame de la Paix, Institut d’Informatique (University of Namur, Computer Science Dept) (April 2005)
2. Bontemps, Y., Heymans, P., Schobbens, P.Y.: From live sequence charts to state machines and back: A guided tour. IEEE Trans. Software Eng. 31(12), 999–1014 (2005)
3. Lecture Notes in Computer Science;M. Brill,2004
4. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proc. Internat. Congress on Logic Methodology and Philosophy of Science 1960, pp. 1–12. Stanford Univ. Press, Stanford (1962)
5. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19(1), 45-80 (2001)