(1996). Executable temporal logics. Acad. Press.
Chicago Style (17th ed.) CitationExecutable Temporal Logics. London [u.a.]: Acad. Press, 1996.
MLA (9th ed.) CitationExecutable Temporal Logics. Acad. Press, 1996.
Warning: These citations may not always be 100% accurate.