Gail W. PieperBooksAutomated reasoning and its applicationsA fascinating country in the world of computingCollected Works of Larry Wos Vol. 1Fascinating Country in the World of Computing, aUtopian images and narratives in advertisingAuthor data: Open Library