Added three books on compiler design and one in symbolic computing