On Efficiency And Reliability In Computer Science