Zaslat SMS: Introduction to the theory of programming languages / Bertrand Meyer.