https://www.quantamagazine.org/barbara-liskov-is-the-architect-of-modern-algorithms-20191120/