"Using modern mathematics as an FOSD modeling language."

Don S. Batory (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics