"Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable ..."

Gordon Stewart, Samuel Merten, Logan Leland (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics