Year:
2013
Journal name:
Science of Computer Programming
Pages:
2268-2281
Volume:
78
number:
11