Observable modules and power domain constructions (1993)

by R Heckmann
Venue:Semantics of Programming Languages and Model Theory, volume 5 of Algebra, Logic, and Applications