Concrete domains (1993)

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