"Conference Record of the Ninth Annual ACM Symposium on Principles of ..."

Richard A. DeMillo (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics