Symbol Manipulation : early history and present prospects