"Understanding Specification Languages through Their Model Theory."

Ethan K. Jackson, Wolfram Schulte (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics