@inproceedings{Haskell-2006-Gill,
	author        = "Andy Gill",
	booktitle     = "{Proceedings of the 10th Haskell Workshop}",
	doi           = "10.1145/1159842.1159856",
	isbn          = "1-59593-489-8",
	pages         = "108--109",
	publisher     = "{ACM}",
	title         = "{Introducing the Haskell equational reasoning assistant}",
	year          = 2006,
}