github.com/coq/opam-coq-archive
Elements of Domain Theory. Domain theory as devised by Scott and Plotkin and following Kahn and Plotkin paper on Concrete Domains
opam install coq-domain-theory.8.6.0