What is the abbreviation for Biblioteca virtual miguel de cervantes?

Looking for the shorthand of Biblioteca virtual miguel de cervantes or how to abbreviate it? We have 2 shorthands for Biblioteca virtual miguel de cervantes.