Sistematização da inspeção de código SQL utilizando a técnica stepwise abstraction e a ferramenta CRISTA - Zamboni, Augusto Bindilatti (2015)