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. Proceedings of Automata, Languages and Programming, International Colloquium 2005 (32), 755–765.