-James E. Donahü: Complementary Definitions of Programming Language Semantics, Springer-Verlag 1976