(1996). Executable temporal logics. Acad. Press.
Chicago-Zitierstil (17. Ausg.)Executable Temporal Logics. London [u.a.]: Acad. Press, 1996.
MLA-Zitierstil (9. Ausg.)Executable Temporal Logics. Acad. Press, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.