Hrvatski biografski leksikon (1983–)
ANTOLEC, Matija, graditelj (Petrinja, 1849 — Graz, 3. X 1894). Nakon realke u Petrinji i Karlovcu, ...