1. The B Book - Assigning Programs to Meanings;Abrial,1996
2. Antoni,M. (2009a). Conception d‟un module d‟enclenchement informatique, élément de base de postes d“aiguillage informatiques conçus par la SNCF – Revue Générale des Chemins de Fer.
3. Antoni, M. (2009b). Sécurisation des architectures informatiques – exemples concrets » - Livre Hermès S ciences ISBN 978-2-7462-1991-5 - Chapitre 4.
4. Antoni,M. (2009c). Petrinetzbasierte Validation von Eisenbahnsicherungssystemen - Validation d’automatismes ferroviaires de sécurité à base de réseaux de Petri - Thèse de doctorat TUBS.
5. Behm, P., Benoit, P., Faivre, A., & Meynadier, J.M. (1999). METEOR: A successful application of B in a large project. In: Wing, J. M., Woodcock, J., Davies, J. (Eds.), Proceedings of FM’99: World Congress on Formal Methods. No. 1709 in Lecture Notes in Computer Science (Springer-Verlag). Springer-Verlag, pp. 369-387.