Power Domain Constructions (1998)

by Reinhold Heckmann
Venue:SCIENCE OF COMPUTER PROGRAMMING