Clean - An Abstract Imperative Programming Language and its Theory by Frédéric Tuong 🌐 and Burkhart Wolff 🌐 Oct 04
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 by Achim D. Brucker 📧, Frédéric Tuong 📧 and Burkhart Wolff 📧 Jan 16