TY  - BOOK
AU  - "Natalia Serdyukova, Vladimir Serdyukov"
TI  - Algebraic Formalization of Smart Systems 
SN  - 978-3-319-77051-2
PB  - Springer
KW  - Engineering; Computational Intelligence
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-319-77051-2
ER  -