APA (7th ed.) Citation

Wos, L., & Pieper, G. W. (1999). A fascinating country in the world of computing: Your guide to automated reasoning. World Scientific.

Chicago Style (17th ed.) Citation

Wos, Larry, and Gail W. Pieper. A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning. Singapore ; River Edge, NJ: World Scientific, 1999.

MLA (9th ed.) Citation

Wos, Larry, and Gail W. Pieper. A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning. World Scientific, 1999.