Stefan Brass Christian Goldberg Proving the Safety of SQL Queries. 197-204 2005 conf/eh/2005 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.50 db/conf/qsic/qsic2005.html#BrassG05