Add link for "Tractable Refinement Checking for Concurrent Objects"
fix: format
Merge pull request #30 from cabrera/tractable-refinements

Add link for "Tractable Refinement Checking for Concurrent Objects"