ETH Zurich is the home of so many amazing, if sadly often lesser-known, software and hardware projects. Niklaus Wirth developed Oberon, Lara, and (I think) Modula-2 there.
This is written by Bertrand Meyer whose group built the Eiffel Method of safe programming + OOP + Design-by-Contracts. They also had a safe, concurrency model. The other great thing about them is a focus on practical research with close collaboration with industry, esp the Eiffel company, that implement what they can for real-world programmers. To me, the document is a start on a blueprint for other organizations.