Matthew Hennessy: Powerdomains and nondeterministic recursive definitions. Symposium on Programming 1982: 178-193