The book in PDF format
plai-2007-04-26.pdf