Template:Comp-sci-theory-stub