It should be noted that with the exception of manuscripts accepted for the ACM Transactions on Programming Languages and Systems, the electronic files supplied by authors will not be used for camera-ready copy. Instead, they will be converted to SGML and re-typeset in-house by the ACM.