"Use of a priori descriptions in a high-level language and management of ..."

Jerome Lemaire (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics