Towards foundations for concurrent objectoriented programming – types and language design. Theory and Practice of Object Systems (1995)

by N Kobayashi, A Yonezawa