Omega-reguläre Sprachen und temporale Aussagenlogik - Peikert, Ronald (1985)