Vardi, M. Y., & Wolper, P. (1986). An Automata-Theoretic Approach to Automatic Program Verification. In
Proceedings of the First Symposium on Logic in Computer Science (pp. 322-331). Institute of Electrical and Electronics Engineers (IEEE).
https://hdl.handle.net/2268/116609
