The Use of Software Science in Evaluating Modularity Concepts. - Albert L. Baker; Stuart H. Zweben (IEEE Trans. Software Eng., 1979)

A Comparison of Measures of Control Flow Complexity. - Albert L. Baker; Stuart H. Zweben (IEEE Trans. Software Eng., 1980)

The software process model. - David A. Gustafson; Austin C. Melton; Ying-Chi Chen; Albert L. Baker; James M. Bieman (COMPSAC, 1988)

A standard representation of imperative language programs for data collection and software measures specification. - James M. Bieman; Albert L. Baker; Paul N. Clites; David A. Gustafson; Austin Melton (J. Syst. Softw., 1988)

Rigorous definition and analysis of program complexity measures: An example using nesting. - James W. Howatt; Albert L. Baker (J. Syst. Softw., 1989)

A mathematical perspective for software measures research. - Austin C. Melton; David A. Gustafson; James M. Bieman; Albert L. Baker (Softw. Eng. J., 1990)

A philosophy for software measurement. - Albert L. Baker; James M. Bieman; Norman E. Fenton; David A. Gustafson; Austin Melton; Robin W. Whitty (J. Syst. Softw., 1990)

Deliberations on Kung's process interface modeling. - David L. Coleman; Albert L. Baker (J. Syst. Softw., 1991)

Synthesizing Structured Analysis and Object-Based Formal Specifications. - David L. Coleman; Albert L. Baker (Ann. Softw. Eng., 1997)

JML: A Notation for Detailed Design. - Gary T. Leavens; Albert L. Baker; Clyde Ruby (Behavioral Specifications of Businesses and Systems, 1999)

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. - Gary T. Leavens; Albert L. Baker (World Congress on Formal Methods, 1999)

Formal Semantics for SA Style Data Flow Diagram Specification Languages. - Gary T. Leavens; Tim Wahls; Albert L. Baker (SAC, 1999)

Executing Formal Specifications with Concurrent Constraint Programming. - Tim Wahls; Gary T. Leavens; Albert L. Baker (Autom. Softw. Eng., 2000)

Preliminary design of JML: a behavioral interface specification language for java. - Gary T. Leavens; Albert L. Baker; Clyde Ruby (ACM SIGSOFT Softw. Eng. Notes, 2006)