Gordon Plotkin
发表
Jean-Louis Lassez,
Gordon Plotkin,
G. Plotkin,
1991
.
Bruno Courcelle,
Jean-Jacques Lévy,
Yves Bertot,
2009
.
Robin Milner,
Yves Bertot,
Grard Huet,
2009
.