Abstracting graph-based specifications of object-oriented programs

Ignacio Silva-Lepe. Abstracting graph-based specifications of object-oriented programs. In SAC. pages 447-451, 1994. [doi]

Bibliographies