"CoFI: The Common Framework Initiative for Algebraic Specification."

Peter D. Mosses (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics