Computer Science as Empirical Inquiry: Symbols and Search · Study