@manual{aterm-manual,
  title        = {ATerm Library User Manual},
  year         = {2000},
  organization = {CWI / SEN1},
  address      = {http://www.cwi.nl/projects/MetaEnv/aterm/doc/manual.pdf}
}