Introducing Nondum, A Mathematical Notation for Computation with Approximations. - Francesco La Regina; Gianfranco d'Atri (NUMTA (3), 2023)