Specifikacijski jezik za metode analize modela informacijskih sustava : doktorski rad = Specification language for analysis methods of information system models : doctoral thesis - Krleža, Dalibor; Fertalj, Krešimir (2016)