Jones, Cliff B (2009) The role of auxiliary variables in the formal development of concurrent programs. Technical Report. Newcastle University , Newcastle upon Tyne .