He Pei Renwei Li Wenhui Zhang Theory and Practice for XYZ/VERI System. 239-248 1992 conf/iwar/1992 IWAR db/conf/iwar/iwar1992.html#PeiLZ92