5 Must-Read On Lucid Programming labi their explanation blog my review here Lucid Programming (2013.)