Sources

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

• https://dl.acm.org/doi/proceedings/10.1145/1085777 — https://dl.acm.org/doi/proceedings/10.1145/1085777
• https://dl.acm.org/doi/proceedings/10.1145/1152215 — https://dl.acm.org/doi/proceedings/10.1145/1152215
• https://dl.acm.org/doi/proceedings/10.1145/1409240 — https://dl.acm.org/doi/proceedings/10.1145/1409240