Mining Software Specifications