Enviar por SMS: Software reification using the SETS calculus