Concrete Domains (1993)

by Gilles Kahn, Inria Sophia Antipolis, Gordon D. Plotkin, George Gratzer
Venue:Theoretical Computer Science