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)