J. Hall, L. Rapanotti, and M. Jackson. Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, page 15-24. London, IEEE Computer Society, (September 2007)
Y. LeCun, F. Huang, and L. Bottou. Computer Vision and Pattern Recognition, 2004. CVPR 2004. Proceedings
of the 2004 IEEE Computer Society Conference on, 2, page II-97--104 Vol.2. (2004)