Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside. An overview and example of application of CAEDE: a new, experimental design environment for Ada. In John G. P. Barnes, Gerald A. Fisher, editors, Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, SIGAda 1985, Paris, France, May 14-16, 1985. pages 173-184, Cambridge University Press, 1985. [doi]
Abstract is missing.