"Compositional Programming (Artifact)."

Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics