@phdthesis
{HuThesis,
AUTHOR = "Alan John Hu",
TITLE = "Efficient Techniques for Formal Verification Using Binary
		  Decision Diagrams",
SCHOOL = "Stanford University",
MONTH = "December",
YEAR = "1995"
}