Dan Yaron,Charles S. Tapiero,ORAGWA International Conference.ORAGWA International Conference (1979 : Jerusalem)：Operations research in agriculture and water resources, proceedings.,1980.
.Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /.,.
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /
