Peter Naur's view of programming