Using Common LISP in the EAVE autonomous underwater vehicle | IEEE Journals & Magazine | IEEE Xplore