Algebraic Formalization of Smart Systems Theory and Practice - Serdyukova, Natalia (Springer International Publishing, 2018)