From Chu spaces to cpos. Theory and Formal Methods of Computing 94 (1994)

by F Lamarche