Benjamin Aziz, “A Formalisation of Digital Forensic String Search Specifications”, ReBICTE, vol. 7, pp. 50–56, Sep. 2021.