?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Jones%2C+Cliff+B.&rft.aulast=Jones&rft.aufirst=Cliff+B.&rft.issue=3&rft.volume=23&rft.date=2011&rft.atitle=Elucidating+concurrent+algorithms+via+layers+of+abstraction+and+reification&rft.title=Formal+Aspects+of+Computing&rft.pages=289-306&rft.genre=article