TTP: A case study in combining induction and data independence

Manylion Llyfryddiaeth
Prif Awduron: Roscoe, A, Creese, S
Fformat: Report
Cyhoeddwyd: Oxford University Computing Laboratory 1999