From Modula-2 Reloaded

Reference: Software Quality

Harry Sneed on Technical Debt

• https://www.youtube.com/watch?v=zorLFtK2__w

Herbert Klaeren on Software Engineering

• http://pu.inf.uni-tuebingen.de/users/klaeren/sw.pdf (currenly only in German)

Richard Gabriel on The Rise of Worse-Is-Better

• https://www.dreamsongs.com/RiseOfWorseIsBetter.html

Peter Norvig on How to Teach Yourself Programming in 10 Years

• Teach Yourself Programming in 10 Years -- Why is everyone in such a Rush?

General Dynamics and NICTA on Mathematically Proven Bug-Free OS Kernel seL4

• http://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf