TTP: A case study in combining induction and data independence

מידע ביבליוגרפי
Main Authors: Roscoe, A, Creese, S
פורמט: Report
יצא לאור: Oxford University Computing Laboratory 1999