Conference paperOn-The-fly topological sort-A basis for interactive debugging and live visualization of parallel programsDoug Kimelman, Dror ZernikWPADD 1993