"From Z to BON/Eiffel."

Richard F. Paige, Jonathan S. Ostroff (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics