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