TTP: A case study in combining induction and data independence

Bibliografiska uppgifter
Huvudupphovsmän: Roscoe, A, Creese, S
Materialtyp: Report
Publicerad: Oxford University Computing Laboratory 1999