Formal Methods Pilot Project. - Tracey Hart; Fiona Linn; Roberto Morello; Greg Royle; Peter Kearney; Peter A. Lindsay; Kelvin J. Ross; Owen Traynor (APSEC, 1996)