1. Abowd, G. D., Wang, H.-M. and Monk, A. F. (1995) A Formal Technique for Automated Dialogue Development, in DIS’95 (Eds, Olson, G. M. and Schuon, S.) ACM, Ann Arbor, Michigan, pp. 219–226.
2. Abrial, J.-R. (1996) The B Book: Assigning Programs to Meanings. Cambridge University Press.
3. Alt-Ameur, Y., Girard, P. and Jambon, F. (1998a) A Uniform approach for the Specification and Design of Interactive Systems: the B method, in 5th International Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS’98) (Eds, Johnson, P. and Markopoulos, P.), Cosener’s House, Abingdon, UK, pp. 333–352.
4. AU-Ameur, Y, Girard, P. and Jambon, F. (1998b) Using the B formal approach for incremental specification design of interactive systems. Laboratoire d’Informatique Scientifique et Industrielle ( LISI/ENSMA ). Research report. 98–001.
5. Bjorner, D. (1987) VDM a Formal Method at Work, in VDM Europe Symposium’87 Springer-Verlag. LNCS.