Another look at a Digital Computer
2.4