TTP: A case study in combining induction and data independence - Roscoe, A; Creese, S (Oxford University Computing Laboratory, 1999)