Mobile Information RetrievalFabio Crestani, Stefano Mizzaro, Ivan Scagnetto · First published 2017Open the Tome
Types for Proofs and ProgramsFurio Honsell,Marino Miculan,Ivan Scagnetto · First published 2008Open the Tome
