Logic of domains - Zhang, Guo-Qiang (Birkhäuser, 1991)
Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989