"Preface."

Frank S. de Boer, Marcello M. Bonsangue (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics