TTP: A case study in combining induction and data independence

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Roscoe, A, Creese, S
التنسيق: Report
منشور في: Oxford University Computing Laboratory 1999