Literature There and back again, arrows for invertible programming (Sjaak Smetsers) Invertible Syntax Descriptions. Unifying Parsing and Pretty Printing (Rendel, Ostermann)
