"A symbolic functional description language."

Gotaro Odawara, Jun Sato, Masahiro Tomita (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics