To access the programs that we used to verify the algorithms in the book, please send a request to Frank Wuebbeling and mention which programs you are interested in. Meanwhile, here's the source to the diagrams in the book. It's usable only if you can display xfig figures. LINUX usually can, Windows can with the help of CYGWIN.