@INPROCEEDINGS{NavaraCAE,
  MYNOTE =   { S1997, A1997, P1997 },
  AUTHOR =   {Navara, Mirko},
  EDITOR =   {M.~Huba},
  TITLE =   {Less simple {M}aple --- evaluation rules, bugs, and
                  advantages},
  BOOKTITLE =   {Computer Aided Education in Automation and Control},
  PUBLISHER =   {STU},
  ADDRESS =   {Bratislava, Slovakia},
  YEAR =   {1997},
  MONTH =   {August},
  PAGES =   {74--97},
  isbn =   {80-227-0978-6},
}