1. Representation of events in nerve nets and finite automata;S C Kleene;Annals of Mathematics Studies,1956
2. Reachability analysis of pushdown automata: Application to model-checking;A Bouajjani;8th International Conference on Concurrency Theory,1997
3. Efficient Algorithms for Model Checking Pushdown Systems;J Esparza;Computer Aided Verification,2000
4. A Direct Symbolic Approach to Model Checking Pushdown Systems;A Finkel,1997