Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer: Language-Theoretic Abstraction Refinement. FASE 2012: 362-376