@inproceedings{haskell2009-alloy,
	author = {Neil C.C. Brown and Adam T. Sampson},
	title = {{A}lloy: Fast Generic Transformations for {H}askell},
	pages = {105--116},
	booktitle = {Haskell '09: Proceedings of the 2009 ACM SIGPLAN Haskell Symposium},
	isbn = {978-1-60558-508-6},
	url = {http://www.cosmos-research.org/docs/haskell2009-alloy.pdf},
	cosmosslides = {http://www.cosmos-research.org/docs/haskell2009-alloy-slides.pdf},
	month = sep,
	year = 2009,
}