A. Berman

发表

M. Lagally, P. B. Harper, J. B. Ward, 1974, IEEE Transactions on Reliability.

A. Michael Berman, Barbara G. Ryder, Marvin C. Paull, 1990, Acta Informatica.