@conference {FischerHuPacheco:15,
	title = {A clear picture of lens laws},
	booktitle = {Proceedings of the 12th International Conference on Mathematics of Program Construction (MPC 2015)},
	year = {2015},
	note = {n/a},
	publisher = {to appear},
	organization = {to appear},
	abstract = {n/a},
	url = {publications/mpc15.pdf},
	author = {Fischer, S. and Hu, Z. and Hugo Pacheco}
}