A Powerdomain Construction (1976)

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