sur 11
Algebraic Formalization of Smart Systems — Natalia Serdyukova, Vladimir Serdyukov