Amfiteatar u Puli - Mlakar, Štefan (Kulturno-povijesni spomenici Istre ;, 1980)