@booklet {Campos97,
	title = {Formal Verification of Interactive Systems},
	year = {1997},
	month = {June},
	publisher = {Department of Computer Science, University of York},
	type = {1st Year Qualifying Dissertation},
	url = {http://www.cs.york.ac.uk/~jfc/qd/qualif_diss.ps.gz},
	author = {Jos{\'e} Creissac Campos}
}