@inproceedings{BX-2016-McKinna,
	author        = "James McKinna",
	booktitle     = "{Proceedings of the Fifth International Workshop on Bidirectional Transformations}",
	ee            = "http://ceur-ws.org/Vol-1571/paper_11.pdf",
	pages         = "14",
	publisher     = "{CEUR-WS.org}",
	title         = "{Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal)}",
	year          = 2016,
}