\bib{2003/hong-issac} \yr 2003 \isbn 1--58113--641--2 \editor Hoon Hong \book Proceedings of the 2003 international symposium on symbolic and algebraic computation \publ Association for Computing Machinery \publaddr New York \endref