Text this: Principles of programming languages POPL'94