Reviews the book "An Audit Approach to Computers," by A. Pinkney.
Griffin et al. (Sun,) studied this question.