Representation of factual information by equations and their evaluationPeter LucasTore Risch1982ICSE 1982