Concrete domains. Theoretical Computer Science, Böhm Festschrift special issue (1993)

by G Kahn, G Plotkin