Mathematical foundations of programming semantics | lit.salon