G. Birtwistle and C. Tofts. "Getting Demos Models Right. Part I: ... and theory" Simulation Practice and Theory.
(1995)
Graham Birtwistle
Languages mentioned
piDEMOS
{1993} teaching subset of DEMOS