M. Abadi, L. Cardelli, and P. Curien, Formal parametric polymorphism, Theoretical Computer Science, vol.121, issue.1-2, pp.9-58, 1993.
DOI : 10.1016/0304-3975(93)90082-5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1298

H. E. Bal, J. G. Steiner, and A. S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys, vol.21, issue.3, pp.261-322, 1989.
DOI : 10.1145/72551.72552
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.7873

B. Bershad, T. Anderson, E. Lazowska, and H. Levy, Lightweight remote procedure call, ACM Transactions on Computer Systems, vol.8, issue.1, pp.37-55, 1990.
DOI : 10.1145/77648.77650
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.2695

D. Andrew, J. Birrell-y-bruce, and . Nelson, Implementing remote procedure call, ACM Transactions on Computer Systems, vol.2, issue.1, pp.39-59, 1984.

L. Cardelli and P. Wegner, On understanding types, data abstraction, and polymorphism. Computing surveys, pp.471-522, 1985.
DOI : 10.1145/6041.6042
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.695

M. Herlihy and B. Liskov, A Value Transmission Method for Abstract Data Types, ACM Transactions on Programming Languages and Systems, vol.4, issue.4, pp.527-551, 1982.
DOI : 10.1145/69622.357182

E. Jul, H. Levy, N. Hutchinson, and A. Black, Fine-grained mobility in the Emerald system, ACM Transactions on Computer Systems, vol.6, issue.1, pp.109-133, 1988.
DOI : 10.1145/35037.42182

B. Liskov and J. Guttag, Abstraction and specification in program development, 1986.

C. John and . Mitchell, Type systems for programming languages, pp.367-458, 1990.

C. John and . Mitchell, On the equivalence of data representations . En V. Lifschitz, editor, Artificial intelligence and mathematical theory of computation, pp.305-330, 1991.

J. Bruce and . Nelson, Remote procedure call. Reporte técnico CSL-81-9, 1981.

A. Ohori and K. Kato, Semantics for communication primitives in a polymorphic language . En 20th symposium Principles of Programming Languages, pp.99-112, 1993.

C. Benjamin, N. Pierce-y-david, and . Turner, Objectoriented programming without recursive types. En 20th symposium Principles of Programming Languages, pp.299-312, 1993.

C. John and . Reynolds, Toward a theory of type structure . En Programming Symposium, volumen 19 de Lecture Notes in Computer Science, pp.408-425, 1974.

C. John and . Reynolds, Types, abstraction and parametric polymorphism. En Information Processing '83, páginas 513?523, 1983.

M. Schroeder and M. Burrows, Performance of the Firefly RPC, ACM Transactions on Computer Systems, vol.8, issue.1, pp.1-17, 1990.
DOI : 10.1145/77648.77653

S. Microsystems and . Inc, RPC: Remote procedure call protocol specification: version 2. Request for comment 1057, Network Information Center, 1988.

S. Microsystems and . Inc, NFS: Network file system protocol specification. Request for comment 1094, Network Information Center, 1989.

P. Wadler, Theorems for free! En Functional Programming Languages and Computer Architecture, 1989.