There are some that spring to mind when looking at my bookshelf. I only
quote those for higher level language and spare you the lowlevel crop
Kogge: "The Architecture of Symbolic Computers" (more oriented towards
real machines, not virtual ones, but most aspects still apply)
Peyton Jones: "The Implementation of Functional Programming Languages"
Queinnec: "Lisp In Small Pieces"
Griswold: "The Implementation of the Icon Programming Language" (hard
to come by, but worth the hunt! And might be the best on target to your
question, as it details the implementation of the icon runtime.)
Allen: "Anatomy of Lisp" (ok, an oldy, but goldy)