Angelo Monti; Peron Adriano: Logical definability of Y-tree and trellis systolic ω-languages. In: Acta cybernetica, (15) 1. pp. 75-100. (2001)