@mastersthesis{Santa-Cruz05,
author = {J.~Santa-Cruz},
month = {September},
school = {Facultad de Inform\'{a}tica, Universidad Complutense de Madrid},
title = {{ITP}/{ASIP}: A Verification Tool for Imperative Programs based on Algebraic Semantics},
projects = {MERIT},
butype = {mastersthesis},
year = {2005}
}