ATLAS/ti: The knowledge workbench, by Thomas Muhr