- Formal Philosophy: Selected Papers of Richard Montague, 222-247, Yale University Press, New Haven, London, (1974)
- Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, London, (1974)
- Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, London, (1974)
- Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, London, (1974)
- COLT, page 15-18. ACM, (1995)
- First Monday (2007)
- IEEE Internet Computing 2(3):53-59 (1998)
- Human-Computer Interaction, volume 6762 of Lecture Notes in Computer Science, page 13--22. Springer, (2011)
- INDOCRYPT, volume 2904 of Lecture Notes in Computer Science, page 388-401. Springer, (2003)
- ACISP, volume 2727 of Lecture Notes in Computer Science, page 55-66. Springer, (2003)
- HCI 5, volume 6765 of Lecture Notes in Computer Science, page 391-399. Springer, (2011)
- ACISP, volume 2384 of Lecture Notes in Computer Science, page 214-225. Springer, (2002)
- ACISP, volume 2119 of Lecture Notes in Computer Science, page 487-501. Springer, (2001)
- HCI 8, volume 6768 of Lecture Notes in Computer Science, page 464-471. Springer, (2011)
- HCI 2, volume 6762 of Lecture Notes in Computer Science, page 13-22. Springer, (2011)
- Journal of Experimental Psychology 80(3):1-46-- (1969)
- Discrete & Computational Geometry 18(3):289-304 (1997)
- IHI, page 700-709. ACM, (2010)
- Australasian J. of Inf. Systems (2003)
- Behaviour & IT 29(5):541-554 (2010)


author