Structured Assurance Cases: Three Common Standards. - T. Scott Ankrum; Alfred H. Kromholz (HASE, 2005)

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre; T. Scott Ankrum (CSIIRW, 2013)