Algebraic Formalization of Smart Systems - Serdyukova; Serdyukov, Vladimir (Springer International Publishing, 2018)