Multimedia Presentation: Generic and Implementation Model. - Igor Uros; Dusan Starcevic; Tamara Uros (WORDS, 2001)

E-store: formal specification. - Tamara Uros; Igor Uros (CSREA EEE, 2005)