Zaslat SMS: Algebra for Applications