1. On a decision method in restricted second order arithmetic;Büchi,1990
2. An automata-theoretic approach to automatic program verification (preliminary report);Vardi,1986
3. Termination analysis by learning terminating programs;Heizmann,2014
4. The temporal logic of programs;Pnueli,1977
5. Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing;Abdulla,2010