Concrete domains, Theoretical Computer Science 121 (1993)

by G Kahn, G Plotkin