TTP: A case study in combining induction and data independence

Библиографические подробности
Главные авторы: Roscoe, A, Creese, S
Формат: Report
Опубликовано: Oxford University Computing Laboratory 1999