Text this: Toward a mathematical semantics for computer languages /