Books Authored by David E Clarke, PhD