[1]
M. Johnson and R. Rosebrugh, “Delta Lenses and Opfibrations”,
ECEASST
, vol. 57, Oct. 2013.