Enviar por SMS: Projektowanie programów poprawnych i dobrze zbudowanych