Robert M. Eastman Bruce Edwards Computerized literature search experiences in mathematics and engineering. 48-50 1980 ACM Southeast Regional Conference http://doi.acm.org/10.1145/503838.503891 conf/ACMse/1980 db/conf/ACMse/ACMse1980.html#EastmanE80