J. Abrial, Extending B without changing it (for Developing Distributed Systems), First B Conference, Putting Into Pratice Methods and Tools for Information System Design, p.21, 1996.

J. Abrial, The B Book. Assigning Programs to Meanings, 1996.

J. Abrial, Event Based Sequential Program Development: Application to Constructing a Pointer Program, FME 2003: Formal Methods Europe, pp.51-74, 2003.
DOI : 10.1007/978-3-540-45236-2_5

Y. A¨?ta¨?t-ameur, I. A¨?ta¨?t-sadoune, and M. Baron, Modélisation et validation formelles d'IHM : Lot 1, 2005.

Y. A¨?ta¨?t-ameur, I. A¨?ta¨?t-sadoune, and M. Baron, Etude et comparaison de scénarios de développements formels d'interfaces multimodales fondés sur la preuve et le raffinement, Proceedings of MOSIM 2006 -6` eme Conférence Francophone de Modélisation et Simulation, 2006.

Y. A¨?ta¨?t-ameur and N. Kamel, A generic formal specification of fusion of modalities in a multimodal HCI, IFIP World Computer Science, pp.415-420, 2004.

L. Bass, R. Faneuf, R. Little, N. Mayer, R. Pellegrino et al., A metamodel for the runtime architecture of an interactive system, SIGCHI Bulletin, vol.24, issue.1, pp.32-37, 1992.

J. Bouchet, L. Nigay, and T. Ganille, ICARE software components for rapidly developing multimodal interfaces, Proceedings of the 6th international conference on Multimodal interfaces , ICMI '04, pp.1325-1328, 2004.
DOI : 10.1145/1027933.1027975
URL : http://iihm.imag.fr/publs/2004/ICMI04-bouchet.pdf

S. Burbeck, Application programming in smalltalk-80: How to use the Model-View- Controller (MVC), 1992.

J. Coutaz, PAC, an Implementation Model for the User Interface, IFIP TC13 Human- Computer Interaction (INTERACT'87), pp.431-436, 1987.

J. Coutaz, L. Nigay, D. Salber, A. Blandford, J. May et al., Four Easy Pieces for Assessing the Usability of Multimodal Interaction: The Care Properties, Proceedings of Human Computer Interaction -Interact'95, pp.115-120, 1995.
DOI : 10.1007/978-1-5041-2896-4_19

E. W. Dijkstra, A discipline of programming, 1976.

K. Mc-millan, The SMV System, 1992.

D. Navarre, P. Palanque, R. Bastide, A. Schyn, M. Winckler et al., A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications, Proceedings of INTERACT 2005, 2005.
DOI : 10.1006/ijhc.2001.0474

F. Paternò, Model-Based Design and Evaluation of Interactive Applications, 2001.
DOI : 10.1007/978-1-4471-0445-2