| |
| 1997 | ||
|---|---|---|
| 2 | David L. Coleman, Albert L. Baker: Synthesizing Structured Analysis and Object-Based Formal Specifications. Ann. Software Eng. 3: 221-253 (1997) | |
| 1991 | ||
| 1 | EE | David L. Coleman, Albert L. Baker: Deliberations on Kung's process interface modeling. Journal of Systems and Software 15(2): 193-198 (1991) |
| 1 | Albert L. Baker | [1] [2] |