Benjamin Aziz. A Formalisation of Digital Forensic String Search Specifications. ReBICTE 2021, 7, 50-56.