Violetta Lonati, Dino Mandrioli, Matteo Pradella: Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. SOFSEM 2013: 307-318