SpringerLink (Online service) & Stickel, M. E. (2013). Automated reasoning and mathematics: Essays in memory of William W. McCune. Springer Berlin Heidelberg.
Čikaški stil citiranja (17. izdanje)SpringerLink (Online service) i Mark E. Stickel. Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
MLA način citiranja (8. izdanje)SpringerLink (Online service) i Mark E. Stickel. Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. Springer Berlin Heidelberg, 2013.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.