M. H. Bianchi
发表
R. J. Glushko,
M. H. Bianchi,
R. Glushko,
1982,
The Bell System Technical Journal.
M. H. Bianchi,
J. L. Wood,
1976,
ICSE '76.