Javier García Zubía Educational Software for Digital Electronics: BOOLE-DEUSTO. 20-22 2003 conf/mse/2003 MSE http://csdl.computer.org/comp/proceedings/mse/2003/1973/00/19730020abs.htm db/conf/mse/mse2003.html#Zubia03