Power domains and second order predicates (1993)

by R Heckmann
Venue:Theoret. Comput. Sci