@misc{shef2007-cosmos,
	title = {Herding Fish: from {TUNA} to {CoSMoS}},
	author = {Adam Sampson},
	month = nov,
	year = 2007,
	note = {University of Sheffield Verification and Testing Group seminar},
	cosmosslides = {http://offog.org/publications/shef2007-cosmos-slides.pdf},
}