@inproceedings{PASTE-2013-BallHSL,
	author        = "Thomas Ball and Peli de Halleux and Nikhil Swamy and Daan Leijen",
	booktitle     = "{Proceedings of the 11th Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/2462029.2462031",
	isbn          = "978-1-4503-2128-0",
	pages         = "49--52",
	publisher     = "{ACM}",
	title         = "{Increasing human-tool interaction via the web}",
	year          = 2013,
}