Design and correctness proof of an emulation of the floating-point operations of the Electrologica X8 : a case study
F.E.J. Kruseman Aretz · Computer science reports · 2010
Some time ago I decided to write an emulator for a Dutch computer from the sixties of the previous century, the Electrologica X8, in order to be able to run its ALGOL 60 implementation and to do some measurements with it. That emulator was written in (standard ISO) Pascal.