Made a few changes.  Check e-mail for final comments.

Explicitly defined m, n, and k in introduction.  Changed a few typo
instances of "lazy" to "eager" in Results section.