Formal SQL Tuning for Oracle Databases - Nossov, Leonid; Ernst, Hanno; Chupis, Victor; Chupis, Victor; Ernst, Hanno; Ernst, Hanno. Chupis, Victor (Springer Berlin Heidelberg, 2016)