"Alphabets: An Extended Polyhedral Equational Language."

Sanjay V. Rajopadhye, Samik Gupta, DaeGon Kim (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics