中文
Design and Implementation of a Syntax-driven Z Specification Checker
LIGANG, MIAO HUAIKOU, TONG FU
Journal of Applied Sciences . 1999, (4): 450 -456 .