R.E. Strom
发表
R.E. Strom,
S.A. Yemini,
D.F. Bacon,
1988,
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.