Angelo, Monti, and Adriano Peron. 2001. “Logical Definability of Y-Tree and Trellis Systolic ω-Languages”. Acta Cybernetica 15 (1), 75-100. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3564.