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.