TTP: A case study in combining induction and data independence

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Roscoe, A, Creese, S
Ձևաչափ: Report
Հրապարակվել է: Oxford University Computing Laboratory 1999