"Let’s say we want to build the TCP/IP stack of an operating system. A traditional implementation might take 10,000 lines of code. What if you rethought the design from the ground up? What if you could make the IP packet handling code look almost identical to the RFC 791 diagram which defines IP? That’s exactly what the Viewpoints team did. This is real code in their system:"
http://www.moserware.com/2008/04/towards-moores-law-software-part-3-of-3.html