Proceedings of the 2007 international workshop on Parallel symbolic computation
ACM Digital Library