Power domain constructions (1991)

by R Heckmann
Venue:Science of Computer Programming