TTP: A case study in combining induction and data independence

書誌詳細
主要な著者: Roscoe, A, Creese, S
フォーマット: Report
出版事項: Oxford University Computing Laboratory 1999