Sources

Every source backing a fact on Jonathan Diehl's own page, deduplicated — the same source backing several facts appears once.

• https://dblp.org/pid/73/3985.html — https://dblp.org/pid/73/3985.html
• https://dl.acm.org/action/showFmPdf?doi=10.1145%2F1613858 — https://dl.acm.org/action/showFmPdf?doi=10.1145%2F1613858
• https://scholar.google.com/citations?user=J863h4wAAAAJ&hl=en — https://scholar.google.com/citations?user=J863h4wAAAAJ&hl=en