Thanks to a tip by Stefano B., who found tape dumps of university archives I have added:
Compilers developed at the Vrije Universiteit, Amsterdam
– Pascal-U, 1977 derivate of the portable Pascal P2
– Pascal-VU, the ISO standard Pascal compiler 1979
– the Amsterdam Compiler Kit
I also added some personal information about my time at the VU
Stefano also traced the Pascal P3 compiler, 1976, missing link between Pascal P2 and P4 Portable compilers from ETH
Some variants of Pascal-S are also found.
http://pascal.hansotten.com/2025/06/11/pascal-p3-compiler-vu-pascal-compilers-pascal-s/