File formats for video files

I bought two seats of DSR Nova as a donation to Faculty of Dramatic Arts in Belgrade (Serbia).
They will use it to digitize old students movies from various formats (U-matic, Beta, Digibeta, 8mm, 16mm and 35mm).
Is there any written user instruction? What 's the best file format to use for movies on video.