Patrick Cousot, Radhia Cousot. A galois connection calculus for abstract interpretation.
POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Suresh Jagannathan and Peter Sewell, Jan 2014, San Diego, United States. pp.3-4,
⟨10.1145/2535838.2537850⟩.
⟨hal-00930103⟩