Specification and verification of object-oriented programs using supertype abstraction Gary T. LeavensWilliam E. Weihl OriginalPaper Pages: 705 - 778
Finding a maximum matching in a permutation graph Chongkye RheeY. Daniel Liang OriginalPaper Pages: 779 - 792