1. Andersen, H.R.: An introduction to binary decision diagrams. Course Notes (1997)
2. Berstel, J.: Transductions and Context-Free Languages. Teubner Verlag (1979)
3. Blume, C.: Graphsprachen für die Spezifikation von Invarianten bei verteilten und dynamischen Systemen. Master’s thesis, Universität Duisburg-Essen (2008)
4. Blume, C., Bruggink, S., König, B.: Recognizable graph languages for checking invariants. In: Proc. of GT-VMT 2010. Elec. Communications of the EASST (2010)
5. Lecture Notes in Computer Science;A. Bouajjani,2006