"A system for reasoning within and about algebraic specifications."

Jacek Leszczylowski, Martin Wirsing (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics