From Predicates to Programs: The Semantics of a Method Language
123
THE COMBINATORICS OF OPEN COVERS
Theory of continuum percolation. III. Low-density expansion