Add link for "Tractable Refinement Checking for Concurrent Objects"