1. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Muñoz, S. Owre, H. Rueß, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187–196, 2000. Available at http://shemesh.larc.nasa.gov/fm/Lfm2000/Proc/ .
2. S. Bensalem and Y. Lakhnech. Automatic generation of invariants. Formal Methods in System Design, 15:75–92, 1999.
3. Lect Notes Comput Sci;S. Bensalem,1998
4. Lect Notes Comput Sci;S. Bensalem,1996
5. N. Bjørner, A. Browne, and Z. Manna. Automatic Generation of Invariants and Intermediate Assertions. Theoretical Computer Science, 1997.