Dana S. Scott A. Nico Habermann 1932-1993. 1-3 1994 31 Acta Inf. 1 db/journals/acta/acta31.html#Scott94