Daniel Thalmann
An operating system compiler written in PASCAL allows the programmer to write operating systems for a very general abstract mini-computer, and produces code for the mini-computer of his choice. This approach provides global optimization, good documentation ...
North-Holland1977