Theoretical foundations of computer science | lit.salon