His solution was later formalized in a published paper in collaboration with Harvard computer scientist Christos Papadimitriou.
Solusinya kemudian diresmikan dalam bentuk cetakan bekerja sama dengan ilmuwan komputer Harvard, Christos Papadimitriou.