Sources

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

• https://dl.acm.org/doi/proceedings/10.1145/1377999 — https://dl.acm.org/doi/proceedings/10.1145/1377999
• https://link.springer.com/book/10.1007/b100594 — https://link.springer.com/book/10.1007/b100594