Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken - Ebinger, Werner (1994)
Stuttgart, Univ., Diss., 1994