"The ABCs of specification: asml, behavior, and components."

Michael Barnett, Wolfram Schulte (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics