A basis for theoretical computer science | lit.salon