"Proceedings of the 2nd International Symposium on Principles and Practice ..."

James F. Power, John Waldron (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics