Pošljite SMS: Logical Foundations of functional Programming