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