Specification of user-interfaces using CRUISE/OBSERV. - Aviv Cohen; Shmuel S. Tyszberowicz; Amiram Yehudai (COMPSAC, 1991)