Auditing EDP systems - Donald A. Watne (Prentice-Hall, 1984)