No abstract available.
Barry K. Rosen
Journal of the ACM
Acta Informatica
POPL 1981
ACM SIGPLAN Notices