Birtwistle, G. and C. Tofts. Relating Operational and Denotational Descriptions of Demos. Simulation Practice and Theory, 5(1):1--33, 1997
(1997)
Graham Birtwistle
Languages mentioned
piDEMOS
{1993} teaching subset of DEMOS