R. Scheifler

发表

T. Bloom, B. Liskov, D. Gifford, 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.