Class Refinement and Interface Refinement in Object-Oriented Programs.

Anna Mikhajlova Emil Sekerinski Class Refinement and Interface Refinement in Object-Oriented Programs. 82-101 1997 conf/fm/1997 FME db/conf/fm/fme1997.html#MikhajlovaS97 http://dx.doi.org/10.1007/3-540-63533-5_5