TTP: A case study in combining induction and data independence

Podrobná bibliografie
Hlavní autoři: Roscoe, A, Creese, S
Médium: Report
Vydáno: Oxford University Computing Laboratory 1999