Algebraic Formalization of Smart Systems Theory and Practice - Serdyukova, Natalia; Serdyukova, Natalia; Serdyukov, Vladimir (Springer International Publishing : Imprint: Springer, 2018)