TTP: A case study in combining induction and data independence

Bibliografiset tiedot
Päätekijät: Roscoe, A, Creese, S
Aineistotyyppi: Report
Julkaistu: Oxford University Computing Laboratory 1999