<A HREF="http://www.cs.utah.edu/flux/">The Flux Research Group</A> works in software systems and is the author of _(OSKit).