"Refinement-Based Game Semantics for Certified Abstraction Layers."

Jérémie Koenig, Zhong Shao (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics