@article{martin2005panelist,
  title = "Panelist position statement: logic and models in computer science",
  author = "Martin, Ursula",
  year = "2005",
  journal = "Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences",
  number = "1835",
  pages = "2397--2399",
  publisher = "The Royal Society",
  volume = "363",
}