Algebraic Formalization of Smart Systems - Serdyukova, Natalia (Springer International Publishing, 2020)