@proceedings{DBLP:conf/mfps/2014,
  title = "Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15, 2014",
  year = "2014",
  editor = "Bart Jacobs and Alexandra Silva and Sam Staton",
  publisher = "Elsevier",
  series = "Electronic Notes in Theoretical Computer Science",
  url = "https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/308/suppl/C",
  volume = "308",
}