Material balance for multiple units without chemical equation
Sequence Enumeration – A Method of Rigorous Specification for Software Intensive Systems.