Perhaps the very first abstract machine implemented Lisp.
It was described by Paul Gilmore in 1959, in the same volume as McCarthy's first paper on Lisp.
Gilmore's chapter was one of the few papers cited by Peter Landin in his paper on the SECD machine.
Gilmore, P.C. 1959. ‘An Abstract Computer With a Lisp-Like Machine Language Without a Label Operator’. In Studies in Logic and the Foundations of Mathematics, 26:71–86. Elsevier. https://doi.org/10.1016/S0049-237X(09)70100-4.
@incollection{GILMORE195971,
title = "An Abstract Computer With a Lisp-Like Machine Language Without a Label Operator",
editor = "P. Braffort and D. Hirschberg",
series = "Studies in Logic and the Foundations of Mathematics",
publisher = "Elsevier",
volume = "26",
pages = "71 - 86",
year = "1959",
booktitle = "Computer Programming and Formal Systems",
issn = "0049-237X",
doi = "https://doi.org/10.1016/S0049-237X(09)70100-4",
url = "http://www.sciencedirect.com/science/article/pii/S0049237X09701004",
author = "P.C. Gilmore",
}