Process Architecture Study: Documentation
The MATHEMATICAL-LOGICAL Designer