Auditing computer security a manual with case studies - Vallabhaneni, S. Rao (Wiley, 1989)