Auditing edp systems - Donald A. Watne, Peter B.B. Turney (Prentice-Hall, 1990)