Wang, L. (1994). Formal derivation of a class of computers. Univ.
Chicago-Zitierstil (17. Ausg.)Wang, Li-Guo. Formal Derivation of a Class of Computers. Edinburgh: Univ, 1994.
MLA-Zitierstil (9. Ausg.)Wang, Li-Guo. Formal Derivation of a Class of Computers. Univ, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.