U. Jørring
发表
William L. Scherlis,
Ulrik Jørring,
W. Scherlis,
1986,
POPL '86.
William L. Scherlis,
U. Jorring,
W. Scherlis,
1987
.