Operational semantics : concepts and their expression /
Jones, C. B.(Cliff B.),1944-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2003.
"July 2003".