A Graph-Based Operational Semantics of OO Programs | Publicación