[911] Justinopolis, alter Name von Capodistria (s.d.).
Meyers-1905: Justinopŏlis
Pierer-1857: Justinopŏlis