Added section on threads introducing nondeterminism to programs to TL chapter