1. A. W. Gravell and C. H. Pratten. Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logic of PVS and HOL. In M. Newey, editor. Supplementary Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics: Emerging Trends,(TPHOL’98). Australian National University [16], pages 73–84, 1998.
2. C. Attiogbé. Configuration Machines: A Simple Formalism For Specifying Multifaceted Systems. Technical Report 181, IRIN, University of Nantes, 1998.
3. C. Attiogbé. The Access Control System: Specification with Configuration Machines. In Proc. of AFADL’2000, pages 203–220, France, 2000.
4. C. Attiogbé. Mechanization of Configuration Machines: Shallow Embedding into SAL/PVS. Technical Report 01.8, IRIN, University of Nantes, 2001.
5. 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. Michael Holloway, editor, Proc. of the Fifth NASA Langley Formal Methods Workshop (LFM’2000), pages 187–196, Vancouver, 2000.