[Axiom-developer] The Hopcroft-Tarjan Planarity Algorithm paper

[Tim Daly]

Dr Kocay,

Your paper, "The Hopcroft-Tarjan Planarity Algorithm" has come up 
on our mailing list as an example of a well-written paper which
presents nearly-runnable code.

I'm looking at the problem of "literate programming" which combines
research papers and runnable code in one document. I'm gathering examples 
of papers which present clear pseudo-code and creating Axiom[*] programs
which implement the pseudo-code, combined with the original paper in
one document.

I'd like permission to use your paper as a canonical example of 
literate programming.

Tim Daly
address@hidden
address@hidden

[*] Axiom is a free, general purpose computer algebra system
http://savannah.nongnu.org/projects/axiom