"Structuring and Modularizing Algebraic Specifications: The PLUSS ..."

Marie-Claude Gaudel (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics