1. The Power of Temporal Proofs;Abadi;Theoretical Computer Science,1989
2. An Old-Fashioned Recipe for Real Time;Abadi;ACM Transactions on Programming Languages and Systems,1994
3. LNCS;Abadi,1985
4. Temporal Logic Programming;Abadi;Journal of Symbolic Computation,1989