Wyślij wiadomość: Complementary definitions of programming language semantics / James E. Donahue.