"Proceedings of the ACM SIGPLAN'90 Conference on Programming Language ..."

Bernard N. Fischer (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics