"Boolean Valued Models and Incomplete Specifications."

Bernd I. Dahn (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics