MAS views mathematics in the sense of universal algebra and model theory and is in some parts influenced by category theory. U.S.A. PMOS is a collection of modules to allow you to write multitasking programs. It runs on IBM-PC compatible computers. It has been compiled with TopSpeed Modula-2. Porting to other machines and compilers is possible, but should probably be tackled only by experienced programmers.
Full source is included.
It defines a set of classes using the OO extensions of the TopSpeed compiler. My system has very little documentation, so reading the book is highly recommended. The library is called MultiGraph-2, and it works on PC platform with TopSpeed 1.17, TopSpeed 3.10 and Stony Brook 2.02 compilers.