Helen Lowe John Lowe The Role of Proof in a Formal Specification of the Speedway Rulebook. 1999 conf/iwfm/1999 IWFM db/conf/iwfm/iwfm1999.html#LoweL99