Lower and upper power domain constructions commute on all cpos (1991)

by R Heckmann
Venue:Inform. Process. Letters 40