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

by M Y Vardi, P Wolper
Venue:UC Berkeley