Power domains (1978)

by M B Smyth
Venue:Journal of Computer and System Sciences