Lecture Notes in Computer Science 96 Computer Programs for Spelling Correction:An Experiment in Prog
1980 年出版213 页ISBN:3540102590
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN:3540152164