"Using a Logical and Categorical Approach for the Validation of ..."

Christel Seguin, Virginie Wiels (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics