Virgilio (Ist.centrale per il cat.unico delle bibl.ital. e per le informazioni bibliogr., 1981)