This is part of Dick Botting's MATHS Project.

The goal of the project is to develop a simple, cheap, and easy to use notation that expresses ideas about complex systems, complicated logic, and hence software integrating mathematics, natural language, and formal logic.

Here are some good starting points:

- MATHS Manifesto, defining goals and requirements.
- Beginners Start Here! Some introductory descriptions,
- The Index page,
- Overview of contents and formal description,
- The Syntax of the notation(like '::=', '#(_)', 'O(_)', '|', '&', etc),
- Download an UML model for Rational Rose 4.0 and above.
- some sample documentation,
- copyright,
- a To-Do List,

Send any comments to<rbotting at CSUSB.edu>.