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

by M Y Vardi, P Wolper
Venue:In Proceedings of the First Symposium on Logic in Computer Science