

@article{NoFTLSR,
	author = {Mike Stannett and Istv\'an N\'emeti},
	year = 2014,
	title = {Using {Isabelle/HOL} to verify first-order relativity theory}, 
	journal = {Journal of Automated Reasoning},
	volume = 52, number = 4, pages = {361--378}
}

@article{No_FTL_observers-AFP,
  author  = {Mike Stannett and Istv\'an N\'emeti},
  title   = {No Faster-Than-Light Observers},
  journal = {Archive of Formal Proofs},
  month   = {April},
  year    = {2016},
  note    = {\url{https://isa-afp.org/entries/No_FTL_observers.html},
            Formal proof development},
  ISSN    = {2150-914x},
}