1. Alan Dix . Abstract , Generic Models of Interactive Systems. BCS HCI 1988 , 63-77 ( 1988 ). Alan Dix. Abstract, Generic Models of Interactive Systems. BCS HCI 1988, 63-77 (1988).
2. Jean Vanderdonckt . Development milestones towards a tool for working with guidelines. Interacting with Computers 12(2), 81-118 ( 1999 ). Jean Vanderdonckt. Development milestones towards a tool for working with guidelines. Interacting with Computers 12(2), 81-118 (1999).
3. Proving the Correctness of Multiprocess Programs
4. Zohar Manna & Amir Pnueli. A Hierarchy of Temporal Properties. ACM Symposium on Principles of Distributed Computing1990: 377-410 ( 1990 ). Zohar Manna & Amir Pnueli. A Hierarchy of Temporal Properties. ACM Symposium on Principles of Distributed Computing1990: 377-410 (1990).
5. Amir Pnueli. The Temporal Logic of Programs. 18th IEEE symposium on the Foundations of Computer Science, 46-57 (1977) Amir Pnueli. The Temporal Logic of Programs. 18th IEEE symposium on the Foundations of Computer Science, 46-57 (1977)