1. Canny, J. F., Some algebraic and geometric computations in PSPACE. Proc. 20th ACM Symposium on Theory of Computing, 1988, pp. 460–467.
2. Carnap, R., Logical foundations of probability, The University of Chicago Press, 1950.
3. De Finetti, B., Theory of Probability, Vol. 1. Chichester: Wiley Classics Library, John Wiley and Sons, 1974/1990.
4. De Morgan, A., Formal logic, or, The calculus of inference, necessary and probable, Taylor and Walton, London. 1847.
5. Doder, D., B. Marinkovic, P. Maksimovic, and A. Perovic, A logic with conditional probability operators. Publications de L’Institute Mathematique 87(101): 85–96, 2010.