"An analysis of four uncertainty calculi."

Steven J. Henkind, Malcolm C. Harrison (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics