Boulton, R. J. (1992). A HOL semantics for a subset of ELLA.
Chicago-Zitierstil (17. Ausg.)Boulton, Richard J. A HOL Semantics for a Subset of ELLA. Cambridge, 1992.
MLA-Zitierstil (9. Ausg.)Boulton, Richard J. A HOL Semantics for a Subset of ELLA. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.