A Contribution to comprehension model and presentation of Z specifications : Diz.práca:Obh. 29.4.1999 - Mikušiak, Luboš (STU v Bratislave FEI, 1999)