The seventeen provers of the world. Foreword by Dana S. Scott..
scientific article; zbMATH DE number 5017353