Executable temporal logics (Acad. Press, 1996)
In: Journal of symbolic computation ; 22 (1996), 5/6