Discourse-level parallel markup and meaning adoption in flexiformal theory graphs - Kohlhase, Michael; Iancu, Mihnea (4th International Congress on Mathematical Software, ICMS 2014, 2014)