(1990). The HOL verification of ELLA designs.
Chicago-Zitierstil (17. Ausg.)The HOL Verification of ELLA Designs. Cambridge, 1990.
MLA-Zitierstil (9. Ausg.)The HOL Verification of ELLA Designs. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.