I. Abdul-Fatah, and S. Majumdar. Proceedings of the The 18th International Conference on Distributed Computing Systems, page 2. IEEE Computer Society, (1998)
M. Abadi, L. Cardelli, and P. Curien. Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, page 157--170. ACM New York, NY, (1993)