DEMOS - a system for discrete event modelling on Simula. - Graham M. Birtwistle (Macmillan, 1979)

Advanced use of Simula. - Graham M. Birtwistle (WSC, 1981)

A portable random number generator with built-in well-spread seeds. - Graham M. Birtwistle (WSC, 1981)

Introduction to Demos. - Graham M. Birtwistle (WSC, 1981)

A computer systems simulator. - Ken Barker 001; Graham M. Birtwistle (WSC, 1982)

Discrete event simulation with Demos. - Graham M. Birtwistle; Paul Luker (WSC, 1982)

Jade: A Distributed Software Prototyping Environment. - Ian H. Witten; Graham M. Birtwistle; John G. Cleary; David R. Hill; Danny Levinson; Greg Lomow; Radford M. Neal; Murray Peterson; Brian W. Unger; Brian Wyvill (ACM SIGOPS Oper. Syst. Rev., 1983)

The coroutines of Hanoi. - Graham M. Birtwistle (ACM SIGPLAN Notices, 1985)

Multiprocessor Ray Tracing. - John G. Cleary; Brian Wyvill; Graham M. Birtwistle; Reddy Vatti (Comput. Graph. Forum, 1986)

A model for procedures passed as parameters. - Graham M. Birtwistle; Kenneth D. Loose (ACM SIGPLAN Notices, 1988)

Formalising the Design of an SECD chip. - Brian T. Graham; Graham M. Birtwistle (Hardware Specification, Verification and Synthesis, 1989)

Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic. - Shiu-Kai Chin; Graham M. Birtwistle (TPHOLs, 1991)

Towards a verified MiniSML/SECD system. - Todd Simpson; Graham M. Birtwistle; Brian T. Graham (Softw. Eng. J., 1993)

Relating operational and denotational descriptions of [pi]Demos. - Graham M. Birtwistle; Chris M. N. Tofts (Simul. Pract. Theory, 1997)

A Subjective Look at Objects. - Graham M. Birtwistle (ESM, 1998)

A Denotational Semantics for a Process-Based Simulation Language. - Chris M. N. Tofts; Graham M. Birtwistle (ACM Trans. Model. Comput. Simul., 1998)

Getting Demos models right. (I). Practice. - Graham M. Birtwistle; Chris M. N. Tofts (Simul. Pract. Theory, 2001)

Getting Demos models right. (II) ... and theory. - Graham M. Birtwistle; Chris M. N. Tofts (Simul. Pract. Theory, 2001)

The Family of 4-phase Latch Protocols. - Graham M. Birtwistle; Kenneth S. Stevens (ASYNC, 2008)

Concurrency Reduction of Untimed Latch Protocols - Theory and Practice. - Santosh N. Varanasi; Kenneth S. Stevens; Graham M. Birtwistle (ASYNC, 2010)

Modelling Mixed 4phase Pipelines: Structures and Patterns. - Graham M. Birtwistle; Kenneth S. Stevens (ASYNC, 2014)

A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines. - Graham M. Birtwistle; Kenneth S. Stevens (HOWARD-60, 2014)