The Pactum Lotharii from 840 was a treaty between Venice and the Holy Roman Empire, which regulated the border and activities around the border.
The account of the election of the first three doges of Venice (Pauluccio, Marcello and Orso), from the “Istoria Veneticorum” by John the Deacon.
The lagoon was settled in Antiquity, and in the 600s, there were numerous known towns, and several important cities. Venice, however, was not one of them.
The “Istoria Veneticorum” from around the year 1000, is the first work in the historiography of Venice.