Fischer S, Hu Z, Pacheco H.? 2015.??A clear picture of lens laws. Proceedings of the 12th International Conference on Mathematics of Program Construction (MPC 2015).