The formal foundation chapter presented results on methodologies and their performance in various environments. These results are analogous to similar results from search theory. See [#!knut:68!#], [#!knut:81!#], [#!knut:73!#], and [#!NIL80!#].
