1. Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems 16(5), 1543–1571 (1994)
2. Abrial, J.-R.: Using Design Patterns in Formal Devlopments - Example: A Mechanical Press Controler. In: Journée scientifique du PPF IAEM Transversal - Développement incrémental et prouvé de systèmes (April 2006)
3. Abrial, J.-R.: B#: Toward a synthesis between z and b. In: Bert, et al. [12], pp. 168–177
4. Abrial, J.-R., Cansell, D.: Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). Journal of Universal Computer Science 11(5), 744–770 (2005)
5. Abrial, J.-R., Cansell, D., Méry, D.: Formal derivation of spanning trees algorithms. In: Bert et al. [12], pp. 457–476