@inproceedings{Fernando2008,
  author    = {Tim Fernando},
  title     = {Temporal propositions as regular languages},
  year      = {2008},
}