An automata-theoretic approach to automatic program verification (1986)

by M Y Vardi, P Wolper
Venue:Proceedings of the First Annual IEEE Symposium on Logic in Computer Science (LICS ’86