P.: An Automata-Theoretic Approach to Automatic Program Verification (1986)

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