Why this order?
Each attribute is fundamental to the next.
If code isn't readable, you stand no chance of making it reliable.
If code isn't reliable, it will never be correct, except by accident.
If code isn't correct, then what's the point?
If code isn't efficient, it is unlikely to be viewed as broadly useful.
http://jefflunt.com/rrce/