海量图书期刊资源,随时随地畅享阅读乐趣
Specification of an algorithm design systemEyck, James Ten; Sampath, G.; Goldstone, Richard · ACM SIGCSE Bulletin · 1998