<HTML> <BODY> <H2>Abstractions from CVS</H2> <P> This is a collection of a number of abtractions from a couple different authors. </P> </BODY> </HTML>