Formal modelling of telematic services using LOTOS. - Iztok Tvrdy (Microprocess. Microprogramming, 1989)

Global Modernization Plan of Telecommunications Infrastructure and Services in Slovenia (MTIS). - Gorazd Kandus; Iztok Tvrdy (Informatica (Slovenia), 1993)