@inproceedings{Santa-Cruz05b,
author = {J.~Santa-Cruz},
booktitle = {Proc. {CALCO} Young Researchers Workshop (Selected Papers)},
editor = {Peter Mosses and John Power and Monika Seisenberger},
note = {Report Series CSR 18-2005},
pages = {71--84},
publisher = {University of Wales Swansea},
title = {{ITP}/{ASIP}: A Verification Tool based on Algebraic Semantics},
projects = {MERIT},
butype = {workshop},
year = {2005}
}