1. Characterising the structure of simulation models in CSS;Birtwistle;Transactions of the Society for Computer Simulation,1993
2. Operational semantics of process-oriented simulation languages part 1: πDemos;Birtwistle;Transactions of the Society for Computer Simulation,1993
3. Operational semantics of process-oriented simulation languages Part 2: μDemos;Birtwistle;Transactions of the Society for Computer Simulation,1994
4. Relating operational and denotational descriptions of πDemos;Birtwistle;Simulation Practice and Theory,1997
5. Getting Demos models right. (I). Practice;Birtwistle;Simulation Practice and Theory,2001