A powerdomain construction (1976)

by G. D. Plotkin
Venue:SIAM J. of Computing