Egorova, I., Itsykson, V.: Survey of Static Methods for Partial Software Library Specifications Extraction. Information and Control Systems(6), 66-75 (2017). doi:10.15217/issn1684-8853.2017.6.66