Graham Birtwistle

Birtwistle, G. and C. Tofts, The Relationship Between an Operational and a Denotational Account of TrDemos, Eurosim 1994

(1994)

Languages mentioned

  • piDEMOS {1993} teaching subset of DEMOS