ACM Transactions on Programming Languages and Systems - International ACM, New York 2001 - 23 . Issue No. 1-6 Subjects--Topical Terms: MCA Subjects--Facted Index Terms: ACMTransactionsonProgrammingLanguagesSystemsMCA