Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea). - Cameron Moy; Ryan Jung; Matthias Felleisen (ECOOP, 2025)

Contract Systems Need Domain-Specific Notations (Artifact). - Cameron Moy; Ryan Jung; Matthias Felleisen (Dagstuhl Artifacts Ser., 2025)