Tractable Refinement Checking for Concurrent Objects | Publicación