Martin Randles, David England, A. Taleb-Bendiab. Task Modelling Using Situation Calculus. In David England, Philippe A. Palanque, Jean Vanderdonckt, Peter J. Wild, editors, Task Models and Diagrams for User Interface Design, 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers. Volume 5963 of Lecture Notes in Computer Science, pages 103-116, Springer, 2009. [doi]