The book by Hoare on CSP http://www.usingcsp.com/cspbook.pdf published in 1985 actually used Lisp:

> The proposed implementations are unusual in that they use a very simple purely functional subset of the well-known programming language LISP. This will afford additional excitement to those who have access to a LISP implementation on which to exercise and demonstrate their designs.