En "System Programming with Modula-3", se tratan cuatro puntos esenciales del diseño del lenguaje.