Specifications of a general user interface in LOTOS and OBJ. - Deddo Wiersma; Kazuhito Ohmaki; Kokichi Futatsugi (COMPSAC, 1991)