Mathematical foundations of programming semantics | MenrvaBooks