TTP: A case study in combining induction and data independence

Bibliografische gegevens
Hoofdauteurs: Roscoe, A, Creese, S
Formaat: Report
Gepubliceerd in: Oxford University Computing Laboratory 1999