@phdthesis{KannaThesis,
author = "Kanna Shimizu",
title = "Writing, Debugging, and Exploiting Formal Specifications for Hardware Designs",
school = "Stanford University",
month="August",
year=2002
}