https://www.upc.edu/ca/la-upc/discursos-honoris/liskov.pdf text=Liskov.pdf