1. ‘A graphical tool to support the QOC notation’ Technical report;Chan,1994
2. gIBIS: a tool for all reasons;Conklin;J. Amer. Soc. Info. Sci.,1989
3. Critical Survey of Research On Human Factors And The Man-Machine Interaction;International Atomic Energy Agency and The Commission of the European Community;IAEA-SM-26B/29,1984
4. A probabilistic logic for the development of safety-critical interactive systems;Johnson;Int. J. Man-Mach. Studies,1993