α» BarbaraLiskov edit** « wiki αt10xxxxx