(2000). Advances in temporal logic. Kluwer Academic.
Chicago-Zitierstil (17. Ausg.)Advances in Temporal Logic. Dordrecht [u.a.]: Kluwer Academic, 2000.
MLA-Zitierstil (9. Ausg.)Advances in Temporal Logic. Kluwer Academic, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.