Patryk Burek, Nico Scherf, und Heinrich Herre. On the formal representation and annotation of cellular genealogies. Lecture Notes in Computer Science, 194--203, Springer International Publishing, Cham, 2020.