The role of auxiliary variables in the formal development of concurrent programs /
Jones, Cliff B.(Cliff Bryn),1944-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2009.
Title from caption.