UCSD P-Code
Was a concrete VM of historical note as an early OS for some microcomputers; it was based on Pascal's operational model, and implemented in UCSD Pascal - which was also the most used language on the platform.- A good overview, but the system is old and relatively widely-recorded.