Helen Lowe, John Lowe. The Role of Proof in a Formal Specification of the Speedway Rulebook. In Andrew Butterfield, Klemens Haegele, editors, 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS, 1999.
Abstract is missing.