TTP: A case study in combining induction and data independence

書目詳細資料
Main Authors: Roscoe, A, Creese, S
格式: Report
出版: Oxford University Computing Laboratory 1999