Machine humour: An implemented model of puns , The PDF format is the document corresponding to the printed book.