Symbolic Computation in Software Science: My Personal View