A. Lascar, “ 2023”., peripherica, vol. 2, no. 2, pp. 307–312, Dec. 2023.