184	  Jones, Cliff B and Pierce, Ken G  (2009) Elucidating concurrent algorithms via layers of abstraction and reification.  Technical Report. Newcastle University , Newcastle upon Tyne .