1. Lecture Notes in Computer Science;J.-R. Abrial,2002
2. Abrial, J.R.: The B Book – Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN 0-521-49619-5
3. Aspinall, D.: LEGO Manual version 1.3.1. Edimburgh University, Edimburgh (1998),
www.lama.dcs.ed.ac.uk/home/lego
4. Lecture Notes in Computer Science;D. Aspinall,2000
5. Barras, B., Boutin, S., Cornes, C., Courant, J., Coscoy, Y., Delahaye, D., de Rauglaudre, D., Filliâtre, J.C., Giménez, E., Herbelin, H., Huet, G., Laulhère, H., Loiseleur, P., Muñoz, C., Murthy, C., Parent, C., Paulin, C., Saïbi, A., Werner, B.: The Coq Proof Assistant Reference Manual – Version V6.3 (July 1999)