Sources

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

• https://dblp.org/pid/20/10485.html — https://dblp.org/pid/20/10485.html
• https://scholar.google.de/citations?user=-_u_0_sAAAAJ&hl=en&oi=sra — https://scholar.google.de/citations?user=-_u_0_sAAAAJ&hl=en&oi=sra
• https://www.auto-ui.org/ — https://www.auto-ui.org/