Bundy, A. et.al. <br/><br/>
Rippling: Meta-Level Guidance for Mathematical Reasoning 

 - Cambridge  Cambridge University Press  2005 
 - xiii, 202p. 
 - Cambridge Tracts in Theoretical Computer Science no. 56. .
<br/><br/><label>ISBN: </label>978-0-521-83449-0