Description
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2006.05.036