No abstract available.
Barry K. Rosen
Journal of the ACM
ACM SIGPLAN Notices
Acta Informatica
IEEE TSE