Unified Domains and Abstract Computational Structures.

Jacques Calmet Karsten Homann Indra A. Tjandra Unified Domains and Abstract Computational Structures. 166-177 1992 conf/aisc/1992 AISMC db/conf/aisc/aismc1992.html#CalmetHT92