Credibilistic Programming - Li, Xiang (Springer Berlin Heidelberg, 2013)