Rosziati Ibrahim Marlene Lu Formal Methods applied to Plywood Production. 298- 2003 conf/qsic/2003 QSIC http://csdl.computer.org/comp/proceedings/qsic/2003/2015/00/20150298abs.htm db/conf/qsic/qsic2003.html#IbrahimL03