@Book{klenk08:_under_symbol_logic, year = {2008}, publisher = {Pearson Education, Inc.}, title = {Understanding Symbolic Logic, Fifth Edition}, author = {Virginia Klenk} } @Book{seibel05:_pract_common_lisp, year = {2005}, publisher = {Apress}, title = {Practical COMMON LISP}, author = {Peter Seibel} } @misc{CommonLi93:online, author = {Kent Pitman}, title = {Common {Lisp} {HyperSpec} {(TM)}}, howpublished = {\url{http://www.lispworks.com/documentation/HyperSpec/Front/index.htm}}, month = {}, year = {}, note = {(Accessed on 03/22/2018)} } @misc{CommonLi95:online, author = {}, title = {Common {Lisp} - {Wikibooks}, open books for an open world}, howpublished = {\url{https://en.wikibooks.org/wiki/Common_Lisp}}, month = {}, year = {}, note = {(Accessed on 03/22/2018)} }