TTP: A case study in combining induction and data independence

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Roscoe, A, Creese, S
Μορφή: Report
Έκδοση: Oxford University Computing Laboratory 1999