Michal Lentner, Krzysztof Stencel, Kazimierz Subieta: Semi-strong Static Type Checking of Object-Oriented Query Languages. SOFSEM 2006: 399-408