%0 Generic
%D 1998
%T Mechanical Verification and Interactive Systems Development
%A José Creissac Campos
%I Department of Computer Science, University of York
%8 March
%9 2nd Year Thesis Proposal