Book Computer Science Logo Style 2E Symbolic Computing 1997