Add link to "Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning".