selected publications chapter Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. Lecture Notes in Computer Science. 117-131. 2016