Michael Johnson, Robert D. Rosebrugh: Cospans and symmetric lenses. Programming 2018: 21-29