1. Abowd G.D. Agents: Communicating Interactive Processes Proc of INTERACT'90. Elsevier Science (North Holland), p. 143–148
2. Cameiro L.M.F., Cowan D.D., Lucena C.J.P. ADVcharts: a Graphical Specification for multimodal Interactive Systems — Abstract Data Views in Perspectives. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993
3. Bastide R. Palanque P. Theoretical Foundations of recent formal approaches in HCI design. Research Symposium CHT94. Boston, 23–30 Avril 1994.
4. Bastide R. Palanque P. Cooperative Objects: a Concurrent Petri Net Based Object-Oriented Language. Proceedings of the IEEE/System Man and Cybernetics 93 “Systems Engineering in the Service of Humans”, Le Touquet, 17–20 October 1993.
5. DeCarolis B., Rosis F. Modelling Adaptive Interaction in OPADE by Petri Nets. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993.