Enviar por SMS: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach