github.com/coq/opam-coq-archive
A Construction of Distributed Reference Counting
opam install coq-distributed-reference-counting.8.10.0