"An Algebraic Data Type Specification Language and Its Rapid Prototyping ..."

Luc Jadoul, Luc Duponcheel, Willy Van Puymbroeck (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics