A Formalization of Digital Forensics. - Ryan Leigland; Axel W. Krings (Int. J. Digit. EVid., 2004)