"Formalization of Variables Access Constraints to Support Compositionality ..."

I. S. W. B. Prasetya (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics