Footnotes

 

(1)

LORIA, BP 239, 54506 Vandoeuvre-lès-Nancy, France  

(2)

http://www.wins.uva.nl/pub/programming-research/software/aterm/  

(3)

http://adam.wins.uva.nl/ markvdb/cofi/casl.html  

(4)

http://www.informatik.uni-bremen.de/ cofi/CASL/parser/parser.html