@inproceedings{FDG-2014-LogasWMVSSMCOSL,
	author        = "Heather Logas and Jim Whitehead and Michael Mateas and Richard Vallejos and Lauren Scott and Daniel G. Shapiro and John T. Murray and Kate Compton and Joseph C. Osborn and Orlando Salvatore and Zhongpeng Lin and Huascar Sanchez and Michael Shavlovsky and Daniel Cetina and Shayne Clementi and Chris Lewis 0002",
	booktitle     = "{Proceedings of the Ninth International Conference on the Foundations of Digital Games}",
	ee            = "http://www.fdg2014.org/papers/fdg2014_paper_17.pdf",
	isbn          = "978-0-9913982-2-5",
	publisher     = "{Society for the Advancement of the Science of Digital Games}",
	title         = "{Software verification games: Designing Xylem, The Code of Plants}",
	year          = 2014,
}