Marc Wagner

1981

• A change-oriented architecture for mathematical authoring assistance