The Tecton Concept Library
David R. Musser, Sibylle Schupp, Christoph Schwarzweller, Rüdiger G. K. Loos · OpenGrey (Institut de l'Information Scientifique et Technique) · 1999
TECTON is an algebraic specification language. This report contains a considerable body of TECTON concepts which evolved over a long time. The concepts serve as a test bed for a TECTON translator and are a formal base for declarations occurring in algorithms from all areas of programming but in particular from computer algebra. (orig.)