Giancarlo Straini, Autore presso MicroMega