Text this: Complementary definitions of programming language semantics /