Strogo tipiziran jezik za opis deduktivnih sustava : diplomski rad - Perleta, Frano (F. Perleta, 2015)