See [[Tools.ATermLibrary][ATerm Library]] at the [[Tools.WebHome][Tools web]].