Junto con Jeannette Wing, desarrolló una particular definición de subtipo, comúnmente conocido como el Principio de sustitución de Liskov.