Hrvatska tehnička enciklopedija - Jecić, Zdenko (Leksikografski zavod Miroslav Krleža, 2018)