Hafer, T. (1986). On the expressive completeness of CTL. Rhein.-Westfäl. Techn. Hochsch.
Chicago-Zitierstil (17. Ausg.)Hafer, Thilo. On the Expressive Completeness of CTL. Aachen: Rhein.-Westfäl. Techn. Hochsch, 1986.
MLA-Zitierstil (9. Ausg.)Hafer, Thilo. On the Expressive Completeness of CTL. Rhein.-Westfäl. Techn. Hochsch, 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.