It Can Be Done (2003)

The linked article is about how André Bensoussan designed and implemented the VTOC Manager for the Multics operating system. He used only a pencil and paper to draft the diagrams and wrote the code manually. The final program was flawless and only one bug was found, caused by a mistake made by someone else.