Long, Z., Calin, G., Majumdar, R., & Meyer, R. (2012). Language-Theoretic Abstraction Refinement. In J., de Lara, & A., Zisman (Eds.), Fundamental Approaches to Software Engineering (pp. 363-376). New York, NY: Springer.