Zaslat SMS: Elliptic pseudo-differential operators: an abstract theory