Sichere Software:Formale Spezifikation und Verifikation vertrauenswurdiger Systeme : монография / Hrsg. H. Kersten, 1990. - 315 S. - Текст : непосредственный.
Kersten H. IT-Sicherheitsmanagement nach iso 27001 und grundschutz : Der Weg zur Zertifizierung / H. Kersten, K. Schroder, J. Reuter, 2008 r=on-line. - Текст : электронный.