Michael G. Main: Free Constructions of Powerdomains. Mathematical Foundations of Programming Semantics 1985: 162-183