Presents and explains a method to simplify a piece of source code by following the path-oriented method of decomposition, simplification, and recomposition.
Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.