The "THE"-Multiprogramming System is described as a hierarchical structure where all activities are divided into sequential processes at various levels. Each level contains independent abstractions, and the hierarchy is crucial for verifying the logical soundness of the design and correctness of its implementation. The system is designed for a Dutch machine, the EL X8, with specific characteristics such as core memory cycle time, drum storage, and peripheral devices. The primary goal is to process user programs efficiently, with objectives including reducing turn-around time, economic use of peripherals, and automatic control of backing store. The system is not intended for multiaccess, as there is no shared database for communication between users. Instead, users share the configuration and a procedure library. The system is designed with a strict hierarchical structure, allowing for explicit mutual synchronization between processes. This structure enables the logical soundness of the system to be proved a priori and its implementation to be exhaustively tested. The system's design includes a strict distinction between memory units (pages) and information units (segments), allowing for efficient storage and retrieval. The system is composed of various levels, each responsible for different aspects of the system's operation, from processor allocation to input/output buffering. The hierarchical structure allows for the verification of the system's correctness and ensures that the logical soundness of the design is maintained. The system's design experience highlights the importance of careful planning and the use of synchronization primitives such as semaphores to manage the interaction between processes. The system's structure and design principles demonstrate the effectiveness of hierarchical organization in ensuring the correctness and reliability of a multiprogramming system.The "THE"-Multiprogramming System is described as a hierarchical structure where all activities are divided into sequential processes at various levels. Each level contains independent abstractions, and the hierarchy is crucial for verifying the logical soundness of the design and correctness of its implementation. The system is designed for a Dutch machine, the EL X8, with specific characteristics such as core memory cycle time, drum storage, and peripheral devices. The primary goal is to process user programs efficiently, with objectives including reducing turn-around time, economic use of peripherals, and automatic control of backing store. The system is not intended for multiaccess, as there is no shared database for communication between users. Instead, users share the configuration and a procedure library. The system is designed with a strict hierarchical structure, allowing for explicit mutual synchronization between processes. This structure enables the logical soundness of the system to be proved a priori and its implementation to be exhaustively tested. The system's design includes a strict distinction between memory units (pages) and information units (segments), allowing for efficient storage and retrieval. The system is composed of various levels, each responsible for different aspects of the system's operation, from processor allocation to input/output buffering. The hierarchical structure allows for the verification of the system's correctness and ensures that the logical soundness of the design is maintained. The system's design experience highlights the importance of careful planning and the use of synchronization primitives such as semaphores to manage the interaction between processes. The system's structure and design principles demonstrate the effectiveness of hierarchical organization in ensuring the correctness and reliability of a multiprogramming system.