Springer
Lecture Notes in Computer Science
International Colloquium on Automata, Languages and Programming
Software Analysis and Transformation

Fokkink, W., & Nain, S. (2005). A finite basis for failure semantics. In Proceedings of Automata, Languages and Programming, International Colloquium 2005 (32) (pp. 755–765). Springer.