Zaslat SMS: Logic design theory /