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

The book by Hoare on CSP http://www.usingcsp.com/cspbook.pdf 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.