Simon Foster, James Baxter: Automated Algebraic Reasoning for Collections and Local Variables with Lenses. RAMiCS 2020: 100-116