Il monastero di San Michele e l'architettura. Da Mauro Codussi alla costruzione della libreria