[1] http://books.google.com/books?id=Gb6vumaGwJAC&pg=PA47&lpg=PA...
http://www.cs.utexas.edu/users/EWD/