A Type-Safe APProach to Identifying and Merging Changes in Complex Information Objects. - Dmitry S. Saenko; Pavel A. Shapkin (BICA, 2018)