@PhdThesis{lacey03:_progr_trans_tempor_logic_specif,
  author = 		 {David Lacey},
  title = 		 {Program Transformation using Temporal Logic Specifications},
  school = 		 {Oxford University Computing Laboratory},
  year = 		 2003
}