Integrating business processes for global alignment and supply chain management. - Rodney McAdam; Daniel McCormack (Bus. Process. Manag. J., 2001)

Boolean Algebraic Programs as a Methodology for Symbolically Demonstrating Lower and Upper Bounds of Algorithms and Determinism. - Daniel McCormack (CoRR, 2014)