%0 Conference Paper
%B Proceedings of the 12th International Conference on Mathematics of Program Construction (MPC 2015)
%D 2015
%T A clear picture of lens laws
%A Fischer, S.
%A Hu, Z.
%A Hugo Pacheco
%I to appear
%U publications/mpc15.pdf
%X n/a
%Z n/a