Documentation can be found at http://www.cis.ohio-state.edu/~gurari/systems.html