Sources

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

• https://dblp.org/pid/226/7539.html — https://dblp.org/pid/226/7539.html
• https://orcid.org/0000-0001-7850-6050 — https://orcid.org/0000-0001-7850-6050
• https://scholar.google.com/citations?user=tcS8CIEAAAAJ&hl=en — https://scholar.google.com/citations?user=tcS8CIEAAAAJ&hl=en
• https://www.auto-ui.org/ — https://www.auto-ui.org/