"Description of specification developments."

Jeanine Souquières, Nicole Lévy (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics