1. Lecture notes in computer science;R Armoni,2002
2. Avni G (2011) An abstraction-refinement framework for trigger querying. Msc Thesis
3. Ball T, Bounimova E, Cook B, Levin V, Lichtenberg J, McGarvey C, Ondrusek B, Rajamani SK, Ustuner A (2006) Thorough static analysis of device drivers. In: Proc EuroSys conf, pp 73–85
4. Ball T, Kupferman O (2006) An abstraction-refinement framework for multi-agent systems. In: Proc 21st IEEE symp on logic in computer science, pp 379–388
5. Lecture notes in computer science;T Ball,2005