Sources
Every source backing a fact on Christian Müller-Tomfelde's own page, deduplicated — the same source backing several facts appears once.
- https://dblp.org/pid/13/5162.html — https://dblp.org/pid/13/5162.html
- https://iss.acm.org/ — https://iss.acm.org/