D.C. Luckham
发表
S. Meldal,
D.C. Luckham,
M.A. Haberler,
1988,
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.