Text this: Computer programming and formal systems/