Varphi: a description language for Turing machines - El-Sheikha, Hassan; Mahmoud, Mohammad A. (2025)