An Introduction to the Undecidable and the Intractable - Edna E. Reiter; Clayton Matthew Johnson (Taylor and Francis, 2012)