@Book{		  alan-bundy:rippling:2005,
  author	= {Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland},
  copyright	= {© Cambridge University Press 2005},
  cover		= {2005/rippling.jpg},
  isbn		= {052183449X},
  language	= {USenglish},
  month		= {June},
  num_pages	= 203,
  pdf		= {papers/2005/Rippling.pdf},
  publisher	= {Cambridge University Press},
  series	= {Cambridge Tracts in Theoretical Computer Science (No.
		  56)},
  title		= {Rippling: Meta-level Guidance for Mathematical Reasoning},
  url		= {http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=052183449X},
  year		= 2005
}