TreatJS: Higher-Order Contracts for JavaScript (Artifact) - Keil, Matthias; Thiemann, Peter; Matthias Keil and Peter Thiemann (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015)