@booklet {Campos98,
	title = {Mechanical Verification and Interactive Systems Development},
	year = {1998},
	month = {March},
	publisher = {Department of Computer Science, University of York},
	type = {2nd Year Thesis Proposal},
	author = {Jos{\'e} Creissac Campos}
}