Temporal logic: Mathematical foundations and computational aspects. Clarendon Press.
Chicago-Zitierstil (17. Ausg.)Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford: Clarendon Press.
MLA-Zitierstil (9. Ausg.)Temporal Logic: Mathematical Foundations and Computational Aspects. Clarendon Press.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.