Bing-Yuan Cao, Shuili Chen, Guojun Wang, Sicong Guo Quantitative Logic and Soft Computing - Springer eBooks 2010 ISBN: 9783642156601