Amfiteatar u Puli - Mlakar, Štefan (Kulturno-povijesni spomenici Istre / Arheološki muzej Istre ;, 1957)