@inproceedings{SLE-2016-Findler,
	acmid         = "2998391",
	author        = "Robby Bruce Findler",
	booktitle     = "{Proceedings of the Ninth International Conference on Software Language Engineering}",
	isbn          = "978-1-4503-4447-0",
	pages         = "1",
	publisher     = "{ACM}",
	title         = "{Redex: a language for lightweight semantics engineering}",
	year          = 2016,
}