Roberto Grendene, Autore presso MicroMega