1. Abowd, G.D., Wang, H-M., Monk, A.F. A formal technique for automated dialogue development. In: Olsan, G.M., Schuon, S. (eds.) Proceedings of DIS’95, pp. 219–226 (1995)
2. Abrial, J-R. Extending b without changing it (for developing distributed systems). In: Habrias, H. (ed.) First B Conference, Putting Into Pratice Methods and Tools for Information System Design, p. 21, Nantes, France, (1996)
3. Abrial J.R. (1996) The B Book. Assigning Programs to Meanings. Cambridge University Press, Cambridge
4. Ait-Ameur, Y., Delmas, R., Wiels, V. A framework for the heterogeneous formal modelling and compositional verification of avionics systems. Second ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCode’04), pp. 223–232 (2004)
5. Aït-Ameur, Y., Baron, M., Girard, P. Formal validation of hci user tasks. In: Al-Ani, B., Arabnia, H.R, Mum Y. (eds.) The 2003 International Conference on Software Engineering Research and Practice – SERP 2003, vol. 2, pp. 732–738. CSREA Press, Las Vegas (2003)