Pošljite SMS: Report on automated semantic analysis of scientific and engineering codes : [final report] / Mark E.M. Stewart.