Modula-3
Modula-3 is the successor of Modula-2+, itself an evolution of Prof. Nicklaus Wirth's Modula-2, independently from Wirth's own works (which instead gave birth to Oberon).It is a programming language that stresses on simple/safe semantics, with modularity, OO, Garbage Collection and multiprogramming. Special "unsafe" modules are allowed to mess with implementation details.
This page is linked from: Microkernel Microkernel Debate Obliq Pascal