Zaslat SMS: Fundamentals of abstract analysis.