"ASF+ --- eine ASF-aehnliche Spezifikationssprache"

Rüdiger Lunde, Claus-Peter Wirth (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics