Symbolic Analysis Techniques by Francisco Fernandez