257	  Jones, Cliff B. and Pierce, Ken G.  (2010) Elucidating concurrent algorithms via layers of abstraction and reification.  Formal Aspects of Computing, online .