Specifications of a general user interface in LOTOS and OBJ | IEEE Conference Publication | IEEE Xplore