Formal Semantics
Mean-Young Song / (주)경문사