P.: An automata-theoretic approach to automatic program verification (preliminary report (1986)

by M Y Vardi, Wolper
Venue:In: Proc. of the Symposium on Logic in Computer Science (LICS’86