http://www.deucestm.org/Home0.8http://www.deucestm.org/about0.5http://www.deucestm.org/documentation0.5http://www.deucestm.org/download0.5http://www.deucestm.org/forum0.5http://www.deucestm.org/license0.5http://www.deucestm.org/news0.5http://www.deucestm.org/support0.5http://www.deucestm.org/Home/java0.5http://www.deucestm.org/documentation/benchmarks-10.5http://www.deucestm.org/documentation/getting-started0.5http://www.deucestm.org/documentation/javadoc-10.5http://www.deucestm.org/documentation/links0.5http://www.deucestm.org/documentation/writing-your-own-stm-algorithm0.5http://www.deucestm.org/news/deuce-02-is-out0.5http://www.deucestm.org/news/deuce-03-is-out0.5http://www.deucestm.org/news/deuce04isout0.5http://www.deucestm.org/news/deuce05isout0.5http://www.deucestm.org/news/deuce06isout0.5http://www.deucestm.org/news/deuce07isout0.5http://www.deucestm.org/news/deuce10b2isout0.5http://www.deucestm.org/news/deuce10b3isout0.5http://www.deucestm.org/news/deuce10b4isout0.5http://www.deucestm.org/news/deuce10b5isout0.5http://www.deucestm.org/news/deuce10isout0.5http://www.deucestm.org/news/deuce10rc2isout0.5http://www.deucestm.org/news/deuce11isout0.5http://www.deucestm.org/news/deuce13isout0.5