Wos, L., & Pieper, G. W. (1999). A fascinating country in the world of computing: Your guide to automated reasoning. World Scientific.
Chicago-Zitierstil (17. Ausg.)Wos, Larry, und Gail W. Pieper. A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning. Singapore [u.a.]: World Scientific, 1999.
MLA-Zitierstil (9. Ausg.)Wos, Larry, und Gail W. Pieper. A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning. World Scientific, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.