M. A. Roberts
发表
Wei-Tek Tsai,
Mohamed Fayad,
Louis J. Hawn,
1992,
TRI-Ada '92.
Wei-Tek Tsai,
Mohamed Fayad,
Louis J. Hawn,
1994,
IEEE Software.