During my study at the VU Amsterdam in 1979, 1980 I worked with the Pascal-VU compiler. A full ISO standard pascal compiler, in the spirit of the Px compile/interpreter.
I have saved several documents from that period, User Manual and Description of the EM machine, the inetrpreter for the p-code coming out of the compiler.
Since Pascal-VU and EM were transformed to the Amsterdam Compiler Kit by Andrew Tanenbaum and his team, some other documents leading to the ACK are also available:
