The versatile continuous order (1987)

by J D Lawson
Venue:Mathematical Foundations of Programming Languages