Specifikacijski jezik za metode analize modela informacijskih sustava : doktorski rad = Specification language for analysis methods of information system models : doctoral thesis - Krleža, Dalibor (Doktorska disertacija–Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2016., 2016)