Logic of Domains (1991)

by G-Q Zhang