Science of Computer Programming
I S S N:0167-6423
出版社:Elsevier BV