Text this: Models of high-level computation