A Formal Description Technology: Graphics E-LOTOS. - Wen Li; Ye Xinming; Zhiyong Liu (FORTE, 1999)