Zhang, G. Q. (1989) “Logics of Domains”, DAIMI Report Series, 18(298). doi: 10.7146/dpb.v18i298.6692.