@inproceedings{PEPM-2016-KoZH,
	author        = "Hsiang-Shang Ko and Tao Zan and Zhenjiang Hu",
	booktitle     = "{Proceedings of the 21st Workshop on Partial Evaluation and Program Manipulation}",
	doi           = "10.1145/2847538.2847544",
	isbn          = "978-1-4503-4097-7",
	pages         = "61--72",
	publisher     = "{ACM}",
	title         = "{BiGUL: a formally verified core language for putback-based bidirectional programming}",
	year          = 2016,
}