P. Vertechi and M. G. Bergomi, “Machines of Finite Depth: Towards a Formalization of Neural Networks”, AAAI, vol. 37, no. 8, pp. 10061–10068, Jun. 2023.