Algebraic data, bidirectional transformations, and structured merge

An annotated bibliography across five adjacent lines of research: 1. schemas as algebraic theories; 2. bidirectional lenses and profunctor optics; 3. format-preserving parsing and unparsing; 4. structured-merge version control; and 5. data exchange + cross-protocol translation