Elucidating concurrent algorithms via layers of abstraction and reification (2009)

by Cliff B Jones, Ken G Pierce