Powerdomains and nondeterministic recursive definitions (1982)

by M Hennessy
Venue:In Symposium on Programming, volume 137 of LNCS