computertheory1996