../ gifs/ 02-May-2017 18:16 - abstr.asc 22-Apr-2016 18:45 732 abstr.html 22-Apr-2016 18:45 1373 walker-tex 22-Apr-2016 18:45 32840 walker.dvi 07-Jan-2011 16:26 0 walker.pdf 22-Apr-2016 18:45 250510 walker.ps.gz 07-Jan-2011 16:26 0