Specifications of a general user interface in LOTOS and OBJ.

Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi

Browse the full COMPSAC paper archive.