His solution was later formalized in a published paper in collaboration with Harvard computer scientist Christos Papadimitriou.
Soluția lui a fost recunoscută mai târziu într-o lucrare scrisă în colaborare cu specialistul IT de la Harvard Christos Papadimitriou.