Text this: Delegating computation reliably : paradigms and constructions