Deeper theories of program design

A discussion on substantive theories of program design, with the running example of concurrent file modifications.

Read in full here: