A formalization of Myers cause-effect graphs for unit testing. - Mike Adler; Michael A. Gray (ACM SIGSOFT Softw. Eng. Notes, 1983)

An Algebra for Data Flow Diagram Process Decomposition. - Mike Adler (IEEE Trans. Software Eng., 1988)