Data types as lattices (1976)

by D SCOTT
Venue:this Journal