@article{temporal-logic,
  author = "Gavin Lowe",
  journal = "Formal Aspects of Computing",
  title = "Specification of communicating processes: temporal logic versus refusals-based refinement",
  year = "2008",
}