Formal Methods for Interactive Systems


Academic Press 1991
ISBN 0-12-218315-0

Full text ONLINE (PDF, 1.5Mb)

see also The Handbook of Formal Methods in Human-Computer Interaction (2017), which I co-edited, . my chapter on Formal Methods in The Encyclopedia of Human-Computer Interaction, and my research pages on formal methods in HCI, which includes an annotated bibliography


  1. Introduction (PDF, 271K)
  2. PIEs - the simplest black-box model (PDF, 331K)
    see also the original PIE paper
  3. Red-PIEs - result and display (PDF, 258K)
  4. Sharing and interference in window managers (PDF, 301K)
  5. The myth of the infinitely fast machine (PDF, 274K)
    see also my HCI'87 paper of the same name and my time page
  6. Non-determinism as a paradigm for understanding the user interface (PDF, 250K)
    see also the chapter of the same name that appeared in Harrison and Thmbleby's 1990 collection
  7. Opening up the box (PDF, 267K)
  8. Dynamic pointers: an abstraction for indicative manipulation (PDF, 343K)
    see also my dynamic pointers page
  9. Complementary functions and complementary views (PDF, 295K)
  10. Events and status - mice and multiple users(PDF, 302K)
    see also my status-event analysis page
  11. Applying formal methods(PDF, 345K)
  12. Conclusions - mathematics and the art of abstraction (PDF, 293K)
  13. Appendices (PDF, 271K)
  14. References (PDF, 173K)