1. M.Abadi, The power of temporal proofs, Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science, Ithaca, NY, USA; (1987), 123–130, Full version of this is: The power of temporal proofs, preprint of Digital Systems Research Center, 1988.
2. M.Abadi, Temporal logic was incomplete only temporarily, Preprint (1989).
3. M.Abadi and Z.Manna, A timely resolution, First Annual Symposium on Logic in Computer Science (1986), 176–189.
4. H.Andréka, K.Balogh, K.Lábadi, I.Németi, P.Tóth, Plans to improve our program verifier program (in Hungarian), Working Paper, NIM IGÜSZI, Dept. of Software Techniques, Budapest (1974).
5. H. Andréka, I. Németi, and I. Sain, A complete logic for reasoning about programs via nonstandard model theory, Parts I–II, Theoretical Computer Science Vol 17 Nos 2, 3 (1982), 193–212 and 259–278.